jtp.frame.listen
Class ValueInferringVCListener

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

All Implemented Interfaces:

Serializable, ValueCollectionListener

public class ValueInferringVCListener

extends AbstractVCListener

A listener that prepares InferredValueReasoningSteps when it processes values.

See Also:

Serialized Form

Field Summary

Fields inherited from class jtp.frame.listen.AbstractVCListener

creationRS, vars, VERBOSE

Constructor Summary

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

ValueInferringVCListener

protected ValueInferringVCListener(Object val,
                                   VCListenerCreationReasoningStep rs)

ValueInferringVCListener

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