AbstractVariable(String functionName, String[] params, String value) | edu::tum::cs::srl::AbstractVariable | [inline] |
functionName | edu::tum::cs::srl::AbstractVariable | |
getKeyString() | edu::tum::cs::srl::AbstractVariable | [inline] |
getPredicate() | edu::tum::cs::srl::Database::Variable | [inline, virtual] |
isBoolean() | edu::tum::cs::srl::Database::Variable | [inline, virtual] |
isTrue() | edu::tum::cs::srl::AbstractVariable | [inline] |
model | edu::tum::cs::srl::Database::Variable | [package] |
params | edu::tum::cs::srl::AbstractVariable | |
toString() | edu::tum::cs::srl::Database::Variable | [inline] |
value | edu::tum::cs::srl::AbstractVariable | |
Variable(String functionName, String[] params, String value, RelationalModel model) | edu::tum::cs::srl::Database::Variable | [inline] |