Package astra.formula

Class Predicate

java.lang.Object

astra.formula.Predicate

All Implemented Interfaces:

Formula, Serializable

public class Predicate
extends Object
implements Formula

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static Predicate	FALSE
static Predicate	TRUE

Constructor Summary

Constructors

Constructor	Description
Predicate(String predicate)
Predicate(String predicate, Term[] terms)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
Predicate	clone()
boolean	equals(Object object)
Term	getTerm(int i)
int	id()
boolean	matches(Formula formula)
String	predicate()
int	size()
Term	termAt(int i)
Term[]	terms()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

TRUE

public static final Predicate TRUE

FALSE

public static final Predicate FALSE

Constructor Details

Predicate

public Predicate(String predicate, Term[] terms)

Predicate

public Predicate(String predicate)

Method Details

getTerm

public Term getTerm(int i)

size

public int size()

id

public int id()

terms

public Term[] terms()

toString

public String toString()

Overrides:

toString in class Object

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

predicate

public String predicate()

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula

equals

public boolean equals(Object object)

Overrides:

equals in class Object

termAt

public Term termAt(int i)

clone

public Predicate clone()

Overrides:

clone in class Object