tarau.jinni
Class MultiVar

java.lang.Object
  |
  +--tarau.jinni.Term
        |
        +--tarau.jinni.Nonvar
              |
              +--tarau.jinni.SystemObject
                    |
                    +--tarau.jinni.Fluent
                          |
                          +--tarau.jinni.MultiVar

class MultiVar

extends Fluent

Varable-like entity, with a multiple values, in stack order. Set operations are undone on backtraking, when the previous value is restored.

Field Summary

(package private) java.util.Stack

vals

Fields inherited from class tarau.jinni.Fluent

persistent

Fields inherited from class tarau.jinni.SystemObject

ctr, ordinal

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

(package private)

MultiVar(Term T, Prog p)

Method Summary

(package private) void	set(Term T, Prog p)
java.lang.String	toString()
protected void	undo() cannot be made presistent
Term	val()

Methods inherited from class tarau.jinni.Fluent

getPersistent, setPersistent, stop, trailMe

Methods inherited from class tarau.jinni.SystemObject

bind_to, getArity, name

Methods inherited from class tarau.jinni.Nonvar

eq, listify, unify_to

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, exec, fromString, getKey, isBuiltin, isClause, matches, matching_copy, numbervars, pprint, pprint, reaction, ref, stringToChars, toChars, toClause, token, toObject, toTerm, toUnquoted, unify, varsOf

Methods inherited from class java.lang.Object

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

Field Detail

vals

java.util.Stack vals

Constructor Detail

MultiVar

MultiVar(Term T,
         Prog p)

Method Detail

set

final void set(Term T,
               Prog p)

val

public Term val()

undo

protected void undo()

cannot be made presistent

Overrides:

undo in class Fluent

toString

public java.lang.String toString()

Overrides:

toString in class SystemObject