, including all inherited members.
addAllGroundingsTo(Collection< Formula > collection, Database db, WorldVariables worldVars, boolean simplify) | edu::tum::cs::logic::Formula | [inline] |
args | edu::tum::cs::logic::GroundAtom | |
equals(Object other) | edu::tum::cs::logic::GroundAtom | [inline] |
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::GroundAtom | [inline, virtual] |
getVariables(Database db, Map< String, String > ret) | edu::tum::cs::logic::GroundAtom | [inline, virtual] |
ground(Map< String, String > binding, WorldVariables vars, Database db) | edu::tum::cs::logic::GroundAtom | [inline, virtual] |
GroundAtom(String predicate, String[] args) | edu::tum::cs::logic::GroundAtom | [inline] |
GroundAtom(String gndAtom) | edu::tum::cs::logic::GroundAtom | [inline] |
hashCode() | edu::tum::cs::logic::GroundAtom | [inline] |
index | edu::tum::cs::logic::GroundAtom | |
isTrue(IPossibleWorld w) | edu::tum::cs::logic::GroundAtom | [inline, virtual] |
main(String[] args) | edu::tum::cs::logic::Formula | [inline, static] |
predicate | edu::tum::cs::logic::GroundAtom | |
setIndex(int i) | edu::tum::cs::logic::GroundAtom | [inline] |
simplify(Database evidence) | edu::tum::cs::logic::GroundAtom | [inline, virtual] |
toCNF() | edu::tum::cs::logic::GroundAtom | [inline, virtual] |
toNNF() | edu::tum::cs::logic::GroundAtom | [inline, virtual] |
toString() | edu::tum::cs::logic::GroundAtom | [inline] |