|
FrameIT
|
Sits at the heart, but represents only a part of the whole Solution. More...
Public Member Functions | |
| SubSolution () | |
| Only used by JsonConverter to initiate empty instance. More... | |
| SubSolution (HashSet< string > MasterIDs, List< int > SolutionIndex, List< int > RelationIndex, FactComparer Comparer) | |
| Standard Constructor More... | |
| bool | IsEmpty () |
true if there is no solution to be deducted. More... | |
Public Attributes | |
| HashSet< string > | MasterIDs = new HashSet<string>() |
| entails {SolutionOrganizer.FacDict.Values} SolutionFacts to relate from. More... | |
| List< int > | SolutionIndex = new List<int>() |
entails {[],[0, SolutionRecorder.ValidationSet.IndexOf(this) - 2]} Marks LevelFacts (StageStatic.stage.factState) found as solution (FactRecorder.DynamiclySolved(SolutionRecorder, out List<List<string>>, out List<List<string>>)) in a previous entry of SolutionRecorder.ValidationSet to relate from in addition to MasterIDs or none if empty More... | |
| List< int > | RelationIndex = new List<int>() |
entails {[],[0, SolutionRecorder.ValidationSet.IndexOf(this) - 2]} Marks LevelFacts (StageStatic.stage.factState) found as solution (FactRecorder.DynamiclySolved(SolutionRecorder, out List<List<string>>, out List<List<string>>)) in a previous entry of SolutionRecorder.ValidationSet to relate to instead of all LevelFacts (StageStatic.stage.factState) or none if empty More... | |
| FactComparer | Comparer = new FactEquivalentsComparer() |
| Comparer defining relation between SolutionFacts and LevelFacts (StageStatic.stage.factState) More... | |
Static Public Attributes | |
| static readonly Type[] | fact_comparer = Assembly.GetExecutingAssembly().GetTypes().Where(typeof(FactComparer).IsAssignableFrom).ToArray() |
Collection of Types of all available FactComparer to choose from. More... | |
Properties | |
| string | ComparerString [getset] |
Enables (especially JsonConverter) to read and set Comparer by its string representation. More... | |
Sits at the heart, but represents only a part of the whole Solution.
| SolutionRecorder.SubSolution.SubSolution | ( | ) |
Only used by JsonConverter to initiate empty instance.
| SolutionRecorder.SubSolution.SubSolution | ( | HashSet< string > | MasterIDs, |
| List< int > | SolutionIndex, | ||
| List< int > | RelationIndex, | ||
| FactComparer | Comparer | ||
| ) |
Standard Constructor
| MasterIDs | sets MasterIDs iff not null |
| SolutionIndex | sets SolutionIndex iff not null |
| RelationIndex | sets RelationIndex iff not null |
| Comparer | sets Comparer iff not null |
| bool SolutionRecorder.SubSolution.IsEmpty | ( | ) |
true if there is no solution to be deducted.
MasterIDs.Count == 0 && SolutionIndex.Count == 0;| FactComparer SolutionRecorder.SubSolution.Comparer = new FactEquivalentsComparer() |
Comparer defining relation between SolutionFacts and LevelFacts (StageStatic.stage.factState)
|
static |
Collection of Types of all available FactComparer to choose from.
| HashSet<string> SolutionRecorder.SubSolution.MasterIDs = new HashSet<string>() |
entails {SolutionOrganizer.FacDict.Values}
SolutionFacts to relate from.
| List<int> SolutionRecorder.SubSolution.RelationIndex = new List<int>() |
entails {[],[0, SolutionRecorder.ValidationSet.IndexOf(this) - 2]}
Marks LevelFacts (StageStatic.stage.factState) found as solution (FactRecorder.DynamiclySolved(SolutionRecorder, out List<List<string>>, out List<List<string>>)) in a previous entry of SolutionRecorder.ValidationSet
to relate to instead of all LevelFacts (StageStatic.stage.factState)
or none if empty
| List<int> SolutionRecorder.SubSolution.SolutionIndex = new List<int>() |
entails {[],[0, SolutionRecorder.ValidationSet.IndexOf(this) - 2]}
Marks LevelFacts (StageStatic.stage.factState) found as solution (FactRecorder.DynamiclySolved(SolutionRecorder, out List<List<string>>, out List<List<string>>)) in a previous entry of SolutionRecorder.ValidationSet
to relate from in addition to MasterIDs
or none if empty
|
getset |
Enables (especially JsonConverter) to read and set Comparer by its string representation.