Class Body
java.lang.Object
|
+----Body
- public class Body
- extends Object
Der Rumpf der Klausel
Siehe auch SatchParserEBNF.html.
-
Body(Object)
-
-
Body(Vector)
-
-
clonedValue()
-
-
cloneYourValue()
-
-
equals(Object)
-
-
getAtoms()
-
-
internVars(Vector)
-
-
toString()
-
-
unbind()
-
Body
public Body(Vector at)
Body
public Body(Object o)
internVars
public Vector internVars(Vector v)
cloneYourValue
public void cloneYourValue()
clonedValue
public Body clonedValue()
unbind
public void unbind()
getAtoms
public Vector getAtoms()
equals
public boolean equals(Object o)
- Overrides:
- equals in class Object
toString
public String toString()
- Overrides:
- toString in class Object