com.irs.jam
Class PredicateFact

java.lang.Object
  |
  +--com.irs.jam.Expression
        |
        +--com.irs.jam.Predicate
              |
              +--com.irs.jam.PredicateFact

All Implemented Interfaces:

java.io.Serializable

public class PredicateFact

extends Predicate

implements java.io.Serializable

Fact Predicate (a World Model Fact expression evaluable to true/false)

See Also:

Serialized Form

Fields inherited from class com.irs.jam.Predicate

_interpreter, _name, _relation

Fields inherited from class com.irs.jam.Expression

EXP_FUNCALL, EXP_PREDICATE, EXP_UNDEFINED, EXP_VALUE, EXP_VARIABLE

Constructor Summary

PredicateFact(java.lang.String name, Relation relation, Interpreter interpreter)
Primary constructor

Method Summary

Value

eval(Binding binding) Calculate the truth value of the World Model relation

Methods inherited from class com.irs.jam.Predicate

format, getInterpreter, getName, getRelation, getType, print

Methods inherited from class com.irs.jam.Expression

equals, getVariable, isVariable, lessthan

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PredicateFact

public PredicateFact(java.lang.String name,
                     Relation relation,
                     Interpreter interpreter)

Primary constructor

Method Detail

eval

public Value eval(Binding binding)

Calculate the truth value of the World Model relation

Overrides:

eval in class Predicate