Package edu.tufts.hrilab.fol
Class Predicate
java.lang.Object
edu.tufts.hrilab.fol.Symbol
edu.tufts.hrilab.fol.Term
edu.tufts.hrilab.fol.Predicate
- All Implemented Interfaces:
Serializable
,Cloneable
Representation of predicate logical form.
- See Also:
-
Field Summary
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionclone()
copyWithNewBindings
(Map<Variable, ? extends Symbol> bindings) Similar to applyBindingMap, except this Term is not bound.copyWithNewVariableTypes
(Collection<Variable> typedVariables) Override Term's implementation to return Predicate.boolean
Methods inherited from class edu.tufts.hrilab.fol.Term
add, applyBindingMap, applyVariableTypes, copyWithNewBindings, equals, equalsIgnoreType, get, getArgs, getArgsCopy, getArgsRef, getBindings, getOrderedLeaves, getOrderedVars, getVars, hasArgs, hashCode, instanceOf, isNegated, isTerm, set, size, toString, toUnnegatedForm, toUntypedString
Methods inherited from class edu.tufts.hrilab.fol.Symbol
getName, getType, hasType, isConstant, isVariable, setName
-
Constructor Details
-
Predicate
-
Predicate
-
Predicate
-
Predicate
-
Predicate
-
-
Method Details
-
clone
-
isPredicate
public boolean isPredicate()- Overrides:
isPredicate
in classSymbol
-
toNegatedForm
- Overrides:
toNegatedForm
in classTerm
-
copyWithNewBindings
Similar to applyBindingMap, except this Term is not bound. Instead, a cloned version is bound and returned.- Overrides:
copyWithNewBindings
in classTerm
- Parameters:
bindings
-- Returns:
-
copyWithNewVariableTypes
Override Term's implementation to return Predicate.- Overrides:
copyWithNewVariableTypes
in classTerm
- Parameters:
typedVariables
-- Returns:
-