Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.tuprolog
Class Substitution  

java.lang.Object
  alice.tuprolog.Substitution

All Implemented Interfaces:

java.io.Serializable

---

public final class Substitution

extends java.lang.Object

implements java.io.Serializable

helper class that represents substituion found in a goal demonstrartion

---

Field Summary
(package private)  Var[]	vars

 

Constructor Summary

Substitution(Var[] v)

 

Method Summary
Term	get(java.lang.String varName)           gets the value of a variable present in the substitution
java.lang.String	toString()           Convert this Object to a human-readable String.
Var[]	toVarArray()

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Field Detail

vars

Var[] vars

Constructor Detail

Substitution

public Substitution(Var[] v)

Method Detail

get

public Term get(java.lang.String varName)

gets the value of a variable present in the substitution

---

toVarArray

public Var[] toVarArray()

---

toString

public java.lang.String toString()

Description copied from class: java.lang.Object

Convert this Object to a human-readable String. There are no limits placed on how long this String should be or what it should contain. We suggest you make it as intuitive as possible to be able to place it into System.out.println() 55 and such.

It is typical, but not required, to ensure that this method never completes abruptly with a java.lang.RuntimeException.

This method will be called when performing string concatenation with this object. If the result is null, string concatenation will instead use "null".

The default implementation returns getClass().getName() + "@" + Integer.toHexString(hashCode()).

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ tuprolog overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---