JTP API Documentation

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

Field Summary
 
Fields inherited from class jtp.proof.Proof
bindings, goal, inference, subGoals, subProofs
 
Constructor Summary
OneWayInferredValueReasoningStep(Literal goal, boolean inv, List subSteps)
           
OneWayInferredValueReasoningStep(Symbol prop, Object obj, Object val, boolean inv, List subSteps)
           
 
Method Summary
 boolean getInverse()
           
 int hashCode()
           
 
Methods inherited from class jtp.frame.InferredValueReasoningStep
equals, tracePrint
 
Methods inherited from class jtp.ReasoningStep
addContentsIfUnifyable, backtrack, clone, cloneNeedsDereferencing, collectUnifyableElements, contains, createDereferencedClone, deReferenceBindings, deReferenceElement, deReferenceList, deReferenceVariables, getCost, getInference, getSubProofs, getVariables, makeStep, unify
 
Methods inherited from class jtp.proof.Proof
getBindings, getGoal, getSubGoals, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

OneWayInferredValueReasoningStep

public OneWayInferredValueReasoningStep(Literal goal,
                                        boolean inv,
                                        List subSteps)

OneWayInferredValueReasoningStep

public OneWayInferredValueReasoningStep(Symbol prop,
                                        Object obj,
                                        Object val,
                                        boolean inv,
                                        List subSteps)
Method Detail

getInverse

public boolean getInverse()

hashCode

public int hashCode()
Overrides:
hashCode in class InferredValueReasoningStep

JTP API Documentation