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