FrameIT
TestFact Member List

This is the complete list of members for TestFact, including all inherited members.

_ReInitializeMe(Dictionary< string, string > old_to_new)TestFactprotected
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)TestFactprotected
FactWrappedCRTP< TestFact >.EquivalentWrapped(T f1, T f2)FactWrappedCRTP< TestFact >protectedpure virtual
FactWrappedCRTP()FactWrappedCRTP< TestFact >protected
generateLabel(FactRecorder _Facts)TestFactprotected
GetDependentFactIds()TestFactprotected
GetHashCode()TestFact
HasDependentFactsTestFact
MakeMMTDeclaration()TestFact
parseFact(List< Fact > ret, MMTFact fact)TestFactstatic
RecalculateTransform()TestFactprotected
TestFact()TestFact
TestFact(string backendURI)TestFact