FrameIT
TupleFact Member List

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

_ReInitializeMe(Dictionary< string, string > old_to_new)TupleFactprotected
Defines()TupleFact
DependentFactsEquivalent(T f1, T f2)FactWrappedCRTP< TupleFact >protected
Equivalent(Fact f2)FactWrappedCRTP< TupleFact >
Equivalent(Fact f1, Fact f2)FactWrappedCRTP< TupleFact >
EquivalentWrapped(TupleFact f1, TupleFact f2)TupleFactprotected
FactWrappedCRTP< TupleFact >.EquivalentWrapped(T f1, T f2)FactWrappedCRTP< TupleFact >protectedpure virtual
FactWrappedCRTP()FactWrappedCRTP< TupleFact >protected
GetCompiledValue()TupleFactprotected
GetDependentFactIds()TupleFactprotected
Init(string[] lids, SOMDoc[] payload)TupleFactprivate
lidsTupleFact
MakeMMTDeclaration()TupleFact
parseFact(List< Fact > ret, MMTFact fact)TupleFactstatic
payloadTupleFact
RecalculateTransform()TupleFactprotected
TupleFact()TupleFact
TupleFact(string[] lids, SOMDoc[] payload)TupleFact
TupleFact(string[] lids, SOMDoc[] payload, SOMDoc _ServerDefinition)TupleFact