jtp.frame
Class OneWayInferredValueReasoningStep
java.lang.Object
|
+--jtp.proof.Proof
|
+--jtp.ReasoningStep
|
+--jtp.frame.InferredValueReasoningStep
|
+--jtp.frame.OneWayInferredValueReasoningStep
- All Implemented Interfaces:
- Cloneable, Serializable, Unifyable
- public class OneWayInferredValueReasoningStep
- extends InferredValueReasoningStep
A proof step representing a Generalized Modus Ponens Inference made
throught forward-chaining.
This proof step is just like an InferredValueReasoningStep
except it indicates to the telling reasoner that a value should
either be stored in the inverse value collection or the regular
value collection, but not both.
- See Also:
- Serialized Form
Methods inherited from class jtp.ReasoningStep |
addContentsIfUnifyable, backtrack, clone, cloneNeedsDereferencing, collectUnifyableElements, contains, createDereferencedClone, deReferenceBindings, deReferenceElement, deReferenceList, deReferenceVariables, getCost, getInference, getSubProofs, getVariables, makeStep, unify |
OneWayInferredValueReasoningStep
public OneWayInferredValueReasoningStep(Literal goal,
boolean inv,
List subSteps)
OneWayInferredValueReasoningStep
public OneWayInferredValueReasoningStep(Symbol prop,
Object obj,
Object val,
boolean inv,
List subSteps)
getInverse
public boolean getInverse()
hashCode
public int hashCode()
- Overrides:
hashCode
in class InferredValueReasoningStep