jtp.frame.listen
Class LinkingVCListener

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

All Implemented Interfaces:

Serializable, ValueCollectionListener

public class LinkingVCListener

extends AbstractVCListener

A listener that prepares ValueLinkCreationReasoningSteps when it processes values.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.frame.listen.AbstractVCListener

creationRS, vars, VERBOSE

Constructor Summary

protected	LinkingVCListener(Object val, Object val2, Symbol sign, VCListenerCreationReasoningStep rs)
protected	LinkingVCListener(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

LinkingVCListener

protected LinkingVCListener(Object val,
                            VCListenerCreationReasoningStep rs)

LinkingVCListener

protected LinkingVCListener(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