Class Head
java.lang.Object
|
+----Head
- public class Head
- extends Object
Der Kopf der Clausel.
Siehe auch SatchParserEBNF.html
-
Head(Vector)
-
-
applied_instance_image()
- Wird benötigt um beim Erstellen der Trace-Datei ein Abbild der
angewandten Instanz zu haben.
-
clonedValue()
-
-
cloneYourValue()
-
-
copy()
- Gibt die Kopie des Head zurück, und läßt die Variablenbindungen
dieses Heads unverändert.
-
equals(Object)
-
-
getAtoms()
-
-
internVars(Vector)
-
-
set_applied_instance_image(String)
- Wird benötigt um beim Erstellen der Trace-Datei ein Abbild der
angewandten Instanz zu haben.
-
size()
-
-
toString()
-
-
unbind()
-
Head
public Head(Vector at)
internVars
public Vector internVars(Vector v)
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.
cloneYourValue
public void cloneYourValue()
clonedValue
public Head clonedValue()
unbind
public void unbind()
getAtoms
public Vector getAtoms()
equals
public boolean equals(Object o)
- Overrides:
- equals in class Object
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.
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.
size
public int size()
toString
public String toString()
- Overrides:
- toString in class Object