tarau.jinni
Class VarNumberer

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

class VarNumberer

extends SystemObject

Used in implementing uniform replacement of variables with new constants. useful for printing out with nicer variable names.

See Also:

Var, Clause

Field Summary

(package private) int	ctr
(package private) HashDict	dict

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)

VarNumberer()

Method Summary

(package private) Term

action(Term place) Identity action.

Methods inherited from class tarau.jinni.SystemObject

bind_to, getArity, name, toString

Methods inherited from class tarau.jinni.Nonvar

eq, listify, unify_to

Methods inherited from class tarau.jinni.Term

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

Methods inherited from class java.lang.Object

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

Field Detail

dict

HashDict dict

ctr

int ctr

Constructor Detail

VarNumberer

VarNumberer()

Method Detail

action

Term action(Term place)

Description copied from class: Term

Identity action.

Overrides:

action in class Term