tarau.jinni
Class SourceMerger

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

class SourceMerger

extends JavaSource

Merges a List of Sources into a new Source which (fairly) iterates over them breadth first.

Field Summary

private Queue

Q

Fields inherited from class tarau.jinni.JavaSource

e

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)

SourceMerger(Const Xs, Prog p)

Method Summary

Term	getElement()

Methods inherited from class tarau.jinni.JavaSource

stop

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, toString

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

Q

private Queue Q

Constructor Detail

SourceMerger

SourceMerger(Const Xs,
             Prog p)

Method Detail

getElement

public Term getElement()

Overrides:

getElement in class JavaSource