Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

Class Substitution  view Substitution download

  extended byalice.tuprolog.Substitution
All Implemented Interfaces:

public final class Substitution
extends java.lang.Object

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


Var[] vars
Constructor Detail


public Substitution(Var[] v)
Method Detail


public Term get(java.lang.String varName)
gets the value of a variable present in the substitution


public Var[] toVarArray()


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()).