FrameIT
|
This is the complete list of members for TestFact, including all inherited members.
_ReInitializeMe(Dictionary< string, string > old_to_new) | TestFact | protected |
Defines() | TestFact | |
DependentFactsEquivalent(T f1, T f2) | FactWrappedCRTP< TestFact > | protected |
Equivalent(Fact f2) | FactWrappedCRTP< TestFact > | |
Equivalent(Fact f1, Fact f2) | FactWrappedCRTP< TestFact > | |
EquivalentWrapped(TestFact f1, TestFact f2) | TestFact | protected |
FactWrappedCRTP< TestFact >.EquivalentWrapped(T f1, T f2) | FactWrappedCRTP< TestFact > | protectedpure virtual |
FactWrappedCRTP() | FactWrappedCRTP< TestFact > | protected |
generateLabel(FactRecorder _Facts) | TestFact | protected |
GetDependentFactIds() | TestFact | protected |
GetHashCode() | TestFact | |
HasDependentFacts | TestFact | |
MakeMMTDeclaration() | TestFact | |
parseFact(List< Fact > ret, MMTFact fact) | TestFact | static |
RecalculateTransform() | TestFact | protected |
TestFact() | TestFact | |
TestFact(string backendURI) | TestFact |