proposit-core

Hierarchy Summary

ArgumentParser
- BasicsArgumentParser

TArgumentEvaluation
- ArgumentEngine

TArgumentExpressionQueries
- ArgumentEngine

TArgumentIdentity
- ArgumentEngine

TArgumentLifecycle
- ArgumentEngine

TArgumentRoleState
- ArgumentEngine

TClaimConnectionLookup
- TClaimConnectionLibraryManagement
  - ClaimAxiomLibrary
  - ClaimCitationLibrary

TClaimLookup
- TClaimLibraryManagement
  - ClaimLibrary

TCoreEntityFieldDiff
- TCorePremiseDiff

TDisplayable
- ArgumentEngine
- PremiseEngine
  - ManagedDerivationPremiseEngine

TExpressionMutations
- PremiseEngine

TExpressionQueries
- PremiseEngine

TFormulaTreeWalking
- PremiseEngine

THierarchicalChecksummable
- ArgumentEngine
- PremiseEngine

TPremiseClassification
- PremiseEngine

TPremiseCrud
- ArgumentEngine

TPremiseEvaluation
- PremiseEngine

TPremiseIdentity
- PremiseEngine

TPremiseLifecycle
- PremiseEngine

TVariableManagement
- ArgumentEngine

TVariableReferences
- PremiseEngine

VersionedLibrary
- ClaimLibrary