tarau.jinni
Class IntegerSource

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

class IntegerSource

extends Source

creates a source of integers based on x=a*x+b formula

Field Summary

private long	a
private long	b
private long	fuel
private long	x

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)

IntegerSource(long fuel, long a, long x, long b, Prog p)

Method Summary

Term	getElement()
void	stop()
java.lang.String	toString()

Methods inherited from class tarau.jinni.Source

toFun, toList

Methods inherited from class tarau.jinni.Fluent

getPersistent, setPersistent, trailMe, undo

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

fuel

private long fuel

a

private long a

b

private long b

x

private long x

Constructor Detail

IntegerSource

IntegerSource(long fuel,
              long a,
              long x,
              long b,
              Prog p)

Method Detail

getElement

public Term getElement()

Overrides:

getElement in class Source

stop

public void stop()

Overrides:

stop in class Fluent

toString

public java.lang.String toString()

Overrides:

toString in class SystemObject