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

public class Predicate
extends Term
implements Cloneable, Serializable

Representation of predicate logical form.

See Also:

• Serialized Form

Field Summary

Fields inherited from class edu.tufts.hrilab.fol.Term

args

Fields inherited from class edu.tufts.hrilab.fol.Symbol

name, type

Constructor Summary

Constructors

Constructor	Description
Predicate(Symbol n, List<? extends Symbol> a)
Predicate(Term t)
Predicate(String n, Symbol... a)
Predicate(String n, String... a)
Predicate(String n, List<? extends Symbol> a)

Method Summary

Modifier and Type	Method	Description
Predicate	clone()
Predicate	copyWithNewBindings(Map<Variable,? extends Symbol> bindings)	Similar to applyBindingMap, except this Term is not bound.
Predicate	copyWithNewVariableTypes(Collection<Variable> typedVariables)	Override Term's implementation to return Predicate.
boolean	isPredicate()
Predicate	toNegatedForm()
Term	toUntyped()	Get untyped version of this Symbol.

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

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Predicate

public Predicate(Term t)

Predicate

public Predicate(String n,
 List<? extends Symbol> a)

Predicate

public Predicate(Symbol n,
 List<? extends Symbol> a)

Predicate

public Predicate(String n,
 Symbol... a)

Predicate

public Predicate(String n,
 String... a)

Method Details

clone

public Predicate clone()

Overrides:

clone in class Term

isPredicate

public boolean isPredicate()

Overrides:

isPredicate in class Symbol

toNegatedForm

public Predicate toNegatedForm()

Overrides:

toNegatedForm in class Term

toUntyped

public Term toUntyped()

Description copied from class: Symbol

Get untyped version of this Symbol. If already untyped, returns "this".

Overrides:

toUntyped in class Term

Returns:

copyWithNewBindings

public Predicate copyWithNewBindings(Map<Variable,? extends Symbol> bindings)

Similar to applyBindingMap, except this Term is not bound. Instead, a cloned version is bound and returned.

Overrides:

copyWithNewBindings in class Term

Parameters:

bindings -

Returns:

copyWithNewVariableTypes

public Predicate copyWithNewVariableTypes(Collection<Variable> typedVariables)

Override Term's implementation to return Predicate.

Overrides:

copyWithNewVariableTypes in class Term

Parameters:

typedVariables -

Returns: