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, SolutionOrganizer.ValidationSet.IndexOf(this) - 2]} Marks LevelFacts (StageStatic.stage.factState) found as solution (FactOrganizer.DynamiclySolved(SolutionOrganizer, out List<List<string>>, out List<List<string>>)) in a previous entry of SolutionOrganizer.ValidationSet to relate from in addition to MasterIDs or none if empty More... | |
List< int > | RelationIndex = new List<int>() |
entails {[],[0, SolutionOrganizer.ValidationSet.IndexOf(this) - 2]} Marks LevelFacts (StageStatic.stage.factState) found as solution (FactOrganizer.DynamiclySolved(SolutionOrganizer, out List<List<string>>, out List<List<string>>)) in a previous entry of SolutionOrganizer.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 IEnumerable< Type > | fact_comparer = Assembly.GetExecutingAssembly().GetTypes().Where(typeof(FactComparer).IsAssignableFrom) |
Collection of string representations 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.
SolutionOrganizer.SubSolution.SubSolution | ( | ) |
Only used by JsonConverter to initiate empty instance.
SolutionOrganizer.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 SolutionOrganizer.SubSolution.IsEmpty | ( | ) |
true
if there is no solution to be deducted.
MasterIDs.Count == 0 && SolutionIndex.Count == 0;
FactComparer SolutionOrganizer.SubSolution.Comparer = new FactEquivalentsComparer() |
Comparer defining relation between SolutionFacts and LevelFacts (StageStatic.stage.factState)
|
static |
Collection of string
representations of all available FactComparer to choose from.
HashSet<string> SolutionOrganizer.SubSolution.MasterIDs = new HashSet<string>() |
entails {SolutionOrganizer.FacDict.Values}
SolutionFacts to relate from.
List<int> SolutionOrganizer.SubSolution.RelationIndex = new List<int>() |
entails {[],[0, SolutionOrganizer.ValidationSet.IndexOf(this)
- 2]}
Marks LevelFacts (StageStatic.stage.factState) found as solution (FactOrganizer.DynamiclySolved(SolutionOrganizer, out List<List<string>>, out List<List<string>>)) in a previous entry of SolutionOrganizer.ValidationSet
to relate to instead of all LevelFacts (StageStatic.stage.factState)
or none if empty
List<int> SolutionOrganizer.SubSolution.SolutionIndex = new List<int>() |
entails {[],[0, SolutionOrganizer.ValidationSet.IndexOf(this)
- 2]}
Marks LevelFacts (StageStatic.stage.factState) found as solution (FactOrganizer.DynamiclySolved(SolutionOrganizer, out List<List<string>>, out List<List<string>>)) in a previous entry of SolutionOrganizer.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.