jtp.frame.listen
Class UnrollingVCListener

java.lang.Object
  |
  +--jtp.frame.listen.AbstractVCListener
        |
        +--jtp.frame.listen.UnrollingVCListener

All Implemented Interfaces:

Serializable, ValueCollectionListener

public class UnrollingVCListener

extends AbstractVCListener

A listener that prepares other ValueCollectionListeners when it process values.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.frame.listen.AbstractVCListener

creationRS, vars, VERBOSE

Constructor Summary

protected	UnrollingVCListener(Object val, Object val2, Symbol sign, VCListenerCreationReasoningStep rs)
protected	UnrollingVCListener(Object val, VCListenerCreationReasoningStep rs)

Method Summary

protected boolean	acceptableValueLink(ValueLink vl)
protected ReasoningStep[]	prepareResult(List subproofs)

Methods inherited from class jtp.frame.listen.AbstractVCListener

directValueAdded, inputLinkAdded, outputLinkAdded, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

UnrollingVCListener

protected UnrollingVCListener(Object val,
                              VCListenerCreationReasoningStep rs)

UnrollingVCListener

protected UnrollingVCListener(Object val,
                              Object val2,
                              Symbol sign,
                              VCListenerCreationReasoningStep rs)

Method Detail

prepareResult

protected ReasoningStep[] prepareResult(List subproofs)

Specified by:

prepareResult in class AbstractVCListener

acceptableValueLink

protected boolean acceptableValueLink(ValueLink vl)

Overrides:

acceptableValueLink in class AbstractVCListener