Class Body

java.lang.Object
   |
   +----Body

public class Body
extends Object
Der Rumpf der Klausel

Siehe auch SatchParserEBNF.html.


Constructor Index

 o Body(Object)
 o Body(Vector)

Method Index

 o clonedValue()
 o cloneYourValue()
 o equals(Object)
 o getAtoms()
 o internVars(Vector)
 o toString()
 o unbind()

Constructors

 o Body
 public Body(Vector at)
 o Body
 public Body(Object o)

Methods

 o internVars
 public Vector internVars(Vector v)
 o cloneYourValue
 public void cloneYourValue()
 o clonedValue
 public Body clonedValue()
 o unbind
 public void unbind()
 o getAtoms
 public Vector getAtoms()
 o equals
 public boolean equals(Object o)
Overrides:
equals in class Object
 o toString
 public String toString()
Overrides:
toString in class Object