Public Member Functions | |
Exist (String[] vars, Formula f) | |
Exist (Collection< String > vars, Formula f) | |
void | getVariables (Database db, Map< String, String > ret) throws Exception |
Formula | ground (Map< String, String > binding, WorldVariables worldVars, Database db) throws Exception |
Formula | toCNF () |
Formula | toNNF () |
String | toString () |
Package Attributes | |
Formula | f |
Map< String, String > | var2domName |
Collection< String > | vars |
Definition at line 14 of file Exist.java.
edu::tum::cs::logic::Exist::Exist | ( | Collection< String > | vars, | |
Formula | f | |||
) | [inline] |
Definition at line 22 of file Exist.java.
edu::tum::cs::logic::Exist::Exist | ( | String[] | vars, | |
Formula | f | |||
) | [inline] |
Definition at line 28 of file Exist.java.
void edu::tum::cs::logic::Exist::getVariables | ( | Database | db, | |
Map< String, String > | ret | |||
) | throws Exception [inline, virtual] |
gets a mapping from names of meta-variables appearing in the formula to the types/domains they apply to
db | ||
ret | mapping in which to store the result |
Exception |
Implements edu::tum::cs::logic::Formula.
Definition at line 37 of file Exist.java.
Formula edu::tum::cs::logic::Exist::ground | ( | Map< String, String > | binding, | |
WorldVariables | worldVars, | |||
Database | db | |||
) | throws Exception [inline, virtual] |
grounds this formula for a particular binding of its variables
binding | the variable binding | |
worldVars | the set of ground atoms (which is needed to return the ground versions of atoms) | |
db | a database containing a set of constants for each type that can be used to ground quantified formulas (can be null if the formula does not contain any quantified variables) |
Exception |
Implements edu::tum::cs::logic::Formula.
Definition at line 45 of file Exist.java.
Formula edu::tum::cs::logic::Exist::toCNF | ( | ) | [inline, virtual] |
Implements edu::tum::cs::logic::Formula.
Definition at line 57 of file Exist.java.
Formula edu::tum::cs::logic::Exist::toNNF | ( | ) | [inline, virtual] |
Implements edu::tum::cs::logic::Formula.
Definition at line 62 of file Exist.java.
String edu::tum::cs::logic::Exist::toString | ( | ) | [inline] |
Definition at line 32 of file Exist.java.
Formula edu::tum::cs::logic::Exist::f [package] |
Definition at line 15 of file Exist.java.
Map<String, String> edu::tum::cs::logic::Exist::var2domName [package] |
maps the quantified variables to their domain names
Definition at line 20 of file Exist.java.
Collection<String> edu::tum::cs::logic::Exist::vars [package] |
Definition at line 16 of file Exist.java.