public static interface OrNode.Operations extends Formula.Operations
Modifier and Type | Method and Description |
---|---|
ListOfFormula |
getLeaves(OrNode node) |
getDoubleMirror, getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, instantiate, isAFreeVariable, isBeliefFrom, isConsistentWith, isExistsOn, isInstitutionalFact, isInstitutionalFactFrom, isMentalAttitude, isSubsumedBy, match, simplify
compare, equals, initNode, toString
ListOfFormula getLeaves(OrNode node)