com.irs.jam
Class FactCondition

java.lang.Object
  |
  +--com.irs.jam.Condition
        |
        +--com.irs.jam.RelationCondition
              |
              +--com.irs.jam.FactCondition
All Implemented Interfaces:
java.io.Serializable

public class FactCondition
extends RelationCondition
implements java.io.Serializable

A boolean-evaluable World Model fact

See Also:
Serialized Form

Fields inherited from class com.irs.jam.RelationCondition
_interpreter, _relation
 
Fields inherited from class com.irs.jam.Condition
_activeValue, _rep, COND_EXP, COND_FACT, COND_GOAL, COND_RETRIEVE
 
Constructor Summary
FactCondition(Relation r, Interpreter interpreter)
          Constructor w/ World Model relation to check and interpreter as arguments.
 
Method Summary
 boolean check(BindingList bl)
          Compare the relation against the world model and add and/or delete bindings as appropriate
 boolean confirm(Binding b)
          Confirm whether the binding is still valid against the current World Model
 int getType()
          Return the particular type of the object
 
Methods inherited from class com.irs.jam.RelationCondition
getInterpreter, getName, getRelation
 
Methods inherited from class com.irs.jam.Condition
setNegative, setPositive
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FactCondition

public FactCondition(Relation r,
                     Interpreter interpreter)
Constructor w/ World Model relation to check and interpreter as arguments.
Method Detail

getType

public int getType()
Description copied from class: RelationCondition
Return the particular type of the object
Overrides:
getType in class RelationCondition

check

public boolean check(BindingList bl)
Compare the relation against the world model and add and/or delete bindings as appropriate
Overrides:
check in class RelationCondition

confirm

public boolean confirm(Binding b)
Confirm whether the binding is still valid against the current World Model
Overrides:
confirm in class RelationCondition