Package edu.tufts.hrilab.action.operators

Class FOL

java.lang.Object

edu.tufts.hrilab.action.operators.FOL

public final class FOL
extends Object

Constructor Summary

Constructors

Constructor	Description
FOL()

Method Summary

Modifier and Type	Method	Description
static Predicate	createPredicate(String desc)	Utility
static Symbol	getArg(Term term, int index)
static List<Symbol>	getArgs(Term term)
static String	getName(Symbol symbol)	Symbol operators
static Set<Variable>	getVars(Term term)
static int	size(Term term)	Term operators

Methods inherited from class java.lang.Object

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

Constructor Details

FOL

public FOL()

Method Details

getName

public static String getName(Symbol symbol)

Symbol operators

size

public static int size(Term term)

Term operators

getArg

public static Symbol getArg(Term term,
 int index)

getVars

public static Set<Variable> getVars(Term term)

getArgs

public static List<Symbol> getArgs(Term term)

createPredicate

public static Predicate createPredicate(String desc)

Utility