Package edu.tufts.hrilab.belief.operators

Class OperatorCheck

java.lang.Object

edu.tufts.hrilab.belief.operators.OperatorCheck

public class OperatorCheck
extends Object

This class contains all the numeric operator logic that is not possible in prolog (prolog is bad with numbers, especially non-integers). This serves as a wrapper that sits between the BeliefComponent and Prolog instance.

Constructor Summary

Constructors

Constructor	Description
OperatorCheck()

Method Summary

Modifier and Type	Method	Description
static void	assertFluent(Term belief, MemoryLevel level, BeliefComponent beliefComponent)
static boolean	isOperator(Term state)
static List<Map<Variable,Symbol>>	query(Term fluentQuery, MemoryLevel level, BeliefComponent beliefComponent)

Methods inherited from class java.lang.Object

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

Constructor Details

OperatorCheck

public OperatorCheck()

Method Details

isOperator

public static boolean isOperator(Term state)

assertFluent

public static void assertFluent(Term belief,
 MemoryLevel level,
 BeliefComponent beliefComponent)

query

public static List<Map<Variable,Symbol>> query(Term fluentQuery,
 MemoryLevel level,
 BeliefComponent beliefComponent)