, including all inherited members.
| addAllGroundingsTo(Collection< Formula > collection, Database db, WorldVariables worldVars, boolean simplify) | edu::tum::cs::logic::Formula | [inline] |
| FALSE | edu::tum::cs::logic::TrueFalse | [static] |
| fromString(String f) | edu::tum::cs::logic::Formula | [inline, static] |
| generateGroundings(Collection< Formula > ret, Database db, Map< String, String > binding, String[] varNames, int i, Map< String, String > var2domName, WorldVariables worldVars, boolean simplify) | edu::tum::cs::logic::Formula | [inline, protected] |
| getAllGroundings(Database db, WorldVariables worldVars, boolean simplify) | edu::tum::cs::logic::Formula | [inline] |
| getGroundAtoms(Set< GroundAtom > ret) | edu::tum::cs::logic::TrueFalse | [inline, virtual] |
| getInstance(boolean isTrue) | edu::tum::cs::logic::TrueFalse | [inline, static] |
| getVariables(Database db, Map< String, String > ret) | edu::tum::cs::logic::TrueFalse | [inline, virtual] |
| ground(Map< String, String > binding, WorldVariables vars, Database db) | edu::tum::cs::logic::TrueFalse | [inline, virtual] |
| isTrue | edu::tum::cs::logic::TrueFalse | [protected] |
| isTrue(IPossibleWorld w) | edu::tum::cs::logic::TrueFalse | [inline, virtual] |
| isTrue() | edu::tum::cs::logic::TrueFalse | [inline] |
| main(String[] args) | edu::tum::cs::logic::Formula | [inline, static] |
| opposite() | edu::tum::cs::logic::TrueFalse | [inline] |
| simplify(Database evidence) | edu::tum::cs::logic::TrueFalse | [inline, virtual] |
| toCNF() | edu::tum::cs::logic::TrueFalse | [inline, virtual] |
| toNNF() | edu::tum::cs::logic::TrueFalse | [inline, virtual] |
| toString() | edu::tum::cs::logic::TrueFalse | [inline] |
| TRUE | edu::tum::cs::logic::TrueFalse | [static] |
| TrueFalse(boolean isTrue) | edu::tum::cs::logic::TrueFalse | [inline, private] |
