com::declarativa::interprolog::util::VariableNode Class Reference

Public Member Functions
String	toString ()
boolean	equals (Object x)
Static Public Member Functions
static ObjectExamplePair	example ()
Package Functions
	VariableNode (int n)
Package Attributes
Integer	number

---

Detailed Description

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.

Definition at line 14 of file VariableNode.java.

---

The documentation for this class was generated from the following file:

• C:/dev/sandbox/xsb_release/XSB/packages/iprolog/com/declarativa/interprolog/util/VariableNode.java

---