tarau.jinni
Class ClauseWriter

java.lang.Object
  |
  +--tarau.jinni.Term
        |
        +--tarau.jinni.Nonvar
              |
              +--tarau.jinni.SystemObject
                    |
                    +--tarau.jinni.Fluent
                          |
                          +--tarau.jinni.Sink
                                |
                                +--tarau.jinni.CharWriter
                                      |
                                      +--tarau.jinni.ClauseWriter

class ClauseWriter

extends CharWriter

Writer

Fields inherited from class tarau.jinni.CharWriter

writer

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)	ClauseWriter(Prog p)
(package private)	ClauseWriter(java.lang.String f, Prog p)

Method Summary

int	putElement(Term t)

Methods inherited from class tarau.jinni.CharWriter

stop

Methods inherited from class tarau.jinni.Sink

collect

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

Constructor Detail

ClauseWriter

ClauseWriter(java.lang.String f,
             Prog p)

ClauseWriter

ClauseWriter(Prog p)

Method Detail

putElement

public int putElement(Term t)

Overrides:

putElement in class CharWriter