Class Head

java.lang.Object
   |
   +----Head

public class Head
extends Object
Der Kopf der Clausel.

Siehe auch SatchParserEBNF.html


Constructor Index

 o Head(Vector)

Method Index

 o applied_instance_image()
Wird benötigt um beim Erstellen der Trace-Datei ein Abbild der angewandten Instanz zu haben.
 o clonedValue()
 o cloneYourValue()
 o copy()
Gibt die Kopie des Head zurück, und läßt die Variablenbindungen dieses Heads unverändert.
 o equals(Object)
 o getAtoms()
 o internVars(Vector)
 o set_applied_instance_image(String)
Wird benötigt um beim Erstellen der Trace-Datei ein Abbild der angewandten Instanz zu haben.
 o size()
 o toString()
 o unbind()

Constructors

 o Head
 public Head(Vector at)

Methods

 o internVars
 public Vector internVars(Vector v)
 o copy
 public Head copy()
Gibt die Kopie des Head zurück, und läßt die Variablenbindungen dieses Heads unverändert. Zurückgegeben wird natürlich ein Head ohne gebundene Variablen. Im Unterschied zum Klonen des Heads wird hier kein unbind gemacht, und sollte auch nur dann aufgerufen werden, wenn man genau weiß, was man tut.

 o cloneYourValue
 public void cloneYourValue()
 o clonedValue
 public Head clonedValue()
 o unbind
 public void unbind()
 o getAtoms
 public Vector getAtoms()
 o equals
 public boolean equals(Object o)
Overrides:
equals in class Object
 o set_applied_instance_image
 public void set_applied_instance_image(String img)
Wird benötigt um beim Erstellen der Trace-Datei ein Abbild der angewandten Instanz zu haben. Head ist dabei ein Zwischenspeicher.

 o applied_instance_image
 public String applied_instance_image()
Wird benötigt um beim Erstellen der Trace-Datei ein Abbild der angewandten Instanz zu haben. Diese Methode gibt dieses Abbild zurück.

 o size
 public int size()
 o toString
 public String toString()
Overrides:
toString in class Object