Variables | |
| __pad1__ | |
| smcReInit | |
| smrInit | |
| smcAddRule | |
| smcRetractRule | |
| smcAddFact | |
| smcAddBasicRule | |
| smcAddChoiceRule | |
| smcAddSemiDefiniteRule | |
| smrAddBasicRule | |
| smrAddChoiceRule | |
| smrAddWeightRule | |
| smrAddConstraintRule | |
| smcSetCompute | |
| smrSetNegCompute | |
| smrSetPosCompute | |
| smcCommitProgram | |
| smrCommitProgram | |
| smComputeModel | |
| smcExamineModel | |
| smrExamineModel | |
| smEnd | |
| print_cache | __pad2__ |
| print_cache | new_trie |
| print_cache | trie_intern |
| print_cache trie_interned from | intern |
| print_cache trie_interned from $sm_fact from | usermod |
| print_cache trie_interned from $sm_fact from $sm_neg_compute from smodelsNumAtoms from | xasppkg |
| print_cache trie_interned from $sm_fact from $sm_neg_compute from smodelsNumAtoms from smodelsBeginWeightRule from smodelsBeginConstraintRule from | smodelsAddWPosBody |
| print_cache trie_interned from $sm_fact from $sm_neg_compute from smodelsNumAtoms from smodelsBeginWeightRule from smodelsBeginConstraintRule from | smodelsAddNegBody |
| print_cache trie_interned from $sm_fact from $sm_neg_compute from smodelsNumAtoms from smodelsBeginWeightRule from smodelsBeginConstraintRule from smodelsAddWNegBody from smodelsSetWeight from smodelsSetNegCompute from conset from | machine |
| print_cache trie_interned from $sm_fact from $sm_neg_compute from smodelsNumAtoms from smodelsBeginWeightRule from smodelsBeginConstraintRule from smodelsAddWNegBody from smodelsSetWeight from smodelsSetNegCompute from conset from | retractall |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.4.5