| Interface | Description |
|---|---|
| FormulaFindGroundRand | |
| ISimpleConsistency |
Simple interface to Consistency, includes only the basic functions
|
| Class | Description |
|---|---|
| CheckNegatedGround | |
| CoreConsistency |
Implements most important functions of Consistency
|
| CRFDescription | |
| CRFState | |
| DefIndexEntry | |
| DefineCreate | |
| DefineCreator | |
| DefineState | |
| DummyIndexEntry | |
| EvidIndexEntry | |
| FormulaFindGroundAdaptive | |
| FunctionMaker | |
| FunctionMemoryLeak | |
| GroundFindFormula | |
| GroundFindFormulaMap | |
| GroundingLimits | |
| IndexEntry | |
| MakeConstCreator | |
| MaximumAPost | |
| ParserAntrl | |
| ParserBasic | |
| ProposalFunction |
Should be renamed to NumericProposalFunction, there can be other types of proposal functions
|
| SGSearch | |
| SimpleTransaction | |
| WorldChange |
| Exception | Description |
|---|---|
| SGSearch.AlreadyTrueException | |
| SGSearch.ExcessiveGroundOut |