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