Public Member Functions | |
RelationKey (String relation, String[] arguments) | |
String | toString () |
Public Attributes | |
Vector< Integer > | keyIndices |
String | relation |
Protected Attributes | |
String[] | arguments |
Definition at line 13 of file RelationKey.java.
edu::tum::cs::srl::RelationKey::RelationKey | ( | String | relation, | |
String[] | arguments | |||
) | [inline] |
Definition at line 27 of file RelationKey.java.
String edu::tum::cs::srl::RelationKey::toString | ( | ) | [inline] |
Definition at line 38 of file RelationKey.java.
String [] edu::tum::cs::srl::RelationKey::arguments [protected] |
the original arguments with which the relation key was declared (i.e. list of parameters with "_" as entries for functionally determined arguments)
Definition at line 25 of file RelationKey.java.
Vector<Integer> edu::tum::cs::srl::RelationKey::keyIndices |
list of indices of the parameters that make up a key
Definition at line 21 of file RelationKey.java.
the name of the relation
Definition at line 17 of file RelationKey.java.