public class Predicate
extends Object
implements Cloneable

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Predicate`	`clone()`
`Predicate`	`convert(SymbolTable symbols)`
`static Predicate`	`convert_from(Predicate p, SymbolTable symbols)`
`boolean`	`equals(Object o)`
`String`	`getName()`
`List<Term>`	`getTerms()`
`int`	`hashCode()`
`String`	`toString()`

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

public Predicate(String name,
                 List<Term> terms)

public Predicate convert(SymbolTable symbols)

public static Predicate convert_from(Predicate p,
                                     SymbolTable symbols)

Class Predicate