com.declarativa.interprolog.util

Class VariableNode

java.lang.Object

com.declarativa.interprolog.util.VariableNode

All Implemented Interfaces:

Serializable

public class VariableNode
extends Object
implements Serializable

TermModel node for a free Prolog variable. Each free Prolog variable at TermModel construction time corresponds to a globally unique Integer number, as enforced by ip_inc_var_counter in interprolog.P.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
VariableNode(int n)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object x)
static ObjectExamplePair	example()
String	toString()

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

VariableNode

public VariableNode(int n)

Method Detail

example

public static ObjectExamplePair example()

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object x)

Overrides:

equals in class Object