Pro_TermData_Unified class

Jalog 1.4

io.github.JalogTeam.jalog
Class Pro_TermData_Unified

java.lang.Object
  io.github.JalogTeam.jalog.Pro_TermData
    io.github.JalogTeam.jalog.Pro_TermData_Unified

public class Pro_TermData_Unified

Pro_Term objects unified to another Pro_Term object (the target of the unification) represent the unification with an object of type Pro_TermData_Unified. The target may be another unified object. In any case the unification chain ends with an object that is not unified (the ultimate target).

This type seldom occurs in processing because the objects are accessed using Pro_Term.getRealNode() which returns the ultmate target.

Field Summary
`Pro_Term`	`pValue` Pointer to the target
`String`	`typename` The type of this term. This is always set to `null`. Do not change! (Inherited from parent.)

Constructor Summary
`Pro_TermData_Unified(Pro_Term target)` Constructs a `Pro_TermData_Unified` object.

Method Summary
`String`	`image()` Returns human readable string representation of the target term.
`String`	`toString()` Returns Jalog syntax representation of the target term.

Field Detail

pValue

public Pro_Term pValue

Pointer to the target term.

typename

public String typename

null Do not change!

Constructor Detail

Pro_TermData_Unified

public Pro_TermData_Unified(Pro_Term target)

Constructs a Pro_TermData_Unified object that is unified to target.

target must be non-null.

Parameters:: target - the target object

Method Detail

image

public String image()

Returns human readable string representation of the target term. Used by built-in predicate write.

Returns:: Human readable representation of the target term.

toString

public String toString()

Returns Jalog syntax representation of the target term.

Returns:: Jalog syntax representation of the target term.