add(GroundAtom gndAtom) | edu::tum::cs::logic::WorldVariables | [inline] |
addBlock(Vector< GroundAtom > block) | edu::tum::cs::logic::WorldVariables | [inline] |
get(String gndAtom) | edu::tum::cs::logic::WorldVariables | [inline] |
get(Integer index) | edu::tum::cs::logic::WorldVariables | [inline] |
getBlock(Integer idxGA) | edu::tum::cs::logic::WorldVariables | [inline] |
getVariableStrings() | edu::tum::cs::logic::WorldVariables | [inline] |
iterator() | edu::tum::cs::logic::WorldVariables | [inline] |
size() | edu::tum::cs::logic::WorldVariables | [inline] |
toString() | edu::tum::cs::logic::WorldVariables | [inline] |
var2block | edu::tum::cs::logic::WorldVariables | [protected] |
vars | edu::tum::cs::logic::WorldVariables | [protected] |
varsByIndex | edu::tum::cs::logic::WorldVariables | [protected] |
WorldVariables() | edu::tum::cs::logic::WorldVariables | [inline] |