jtp.frame.listen
Class OneWayValueInferringVCListener

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

All Implemented Interfaces:

Serializable, ValueCollectionListener

public class OneWayValueInferringVCListener

extends AbstractVCListener

A listener that prepares OneWayInferredValueReasoningSteps when it processes values.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.frame.listen.AbstractVCListener

creationRS, vars, VERBOSE

Constructor Summary

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

OneWayValueInferringVCListener

protected OneWayValueInferringVCListener(Object val,
                                         VCListenerCreationReasoningStep rs)

OneWayValueInferringVCListener

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