All Methods Instance Methods Abstract Methods
Modifier and Type |
Method and Description |
Formula |
getDoubleMirror(Formula node,
Term i,
Term j,
boolean default_result_is_true) |
Formula |
getSimplifiedFormula(Formula node) |
Formula |
getVariablesSubstitution(Formula node,
ListOfVariable vars) |
Formula |
getVariablesSubstitution(Formula node,
Variable x,
Variable y) |
Formula |
getVariablesSubstitutionAsIn(Formula node,
Formula formula) |
Formula |
instantiate(Formula node,
String varname,
Node expression) |
boolean |
isAFreeVariable(Formula node,
Variable x) |
Formula |
isBeliefFrom(Formula node,
Term agent) |
boolean |
isConsistentWith(Formula node,
Formula formula) |
Formula |
isExistsOn(Formula node,
Term variable) |
boolean |
isInstitutionalFact(Formula node,
Term term) |
Formula |
isInstitutionalFactFrom(Formula node,
Term institution) |
boolean |
isMentalAttitude(Formula node,
Term term) |
boolean |
isSubsumedBy(Formula node,
Formula formula) |
MatchResult |
match(Formula node,
Node expression) |
void |
simplify(Formula node) |