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 Type s 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 Type
s 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.