Package edu.tufts.hrilab.action.state

Class SMOperatorCheck

java.lang.Object

edu.tufts.hrilab.action.state.SMOperatorCheck

public class SMOperatorCheck
extends Object

Constructor Summary

Constructors

Constructor	Description
SMOperatorCheck()

Method Summary

Modifier and Type	Method	Description
static boolean	assertFluent(Predicate belief, State state)
static boolean	isOperator(Term state)
static boolean	query(Predicate fluentQuery, State state)

Methods inherited from class java.lang.Object

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

Constructor Details

SMOperatorCheck

public SMOperatorCheck()

Method Details

isOperator

public static boolean isOperator(Term state)

assertFluent

public static boolean assertFluent(Predicate belief,
 State state)

query

public static boolean query(Predicate fluentQuery,
 State state)