- <init>
- addIndividual
- addLiteral
- addType
- checkAssertedClashes
Checks if all the previous asserted clashes are resolved. If there is an
unresolved _clash, the _cla
- copy
- createLiteral
Helper function to add a literal.
- createUniqueName
- doExplanation
Checks if the clashExplanation is turned on.
- getAnonCount
- getBranchIndex
Return the _current branch number. Branches are created when a non-deterministic
rule, e.g. disjunct
- getCached