|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.predicates.AbstractPredicate
org.rubato.logeo.predicates.FormPredicate
public class FormPredicate
A predicate that matches denotators of a given form.
Constructor Summary | |
---|---|
FormPredicate(Form form)
Creates a predicate that satisfies denotator with the given form. |
Method Summary | |
---|---|
boolean |
call(Denotator... denotators)
Calls the predicate with a list of arguments. |
int |
getArity()
Returns the arity of the predicate. |
Form |
getInputForm(int i)
Returns the ith argument form. |
Methods inherited from class org.rubato.logeo.predicates.AbstractPredicate |
---|
and, compare, getName, isCompatible, negated, or, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.util.Comparator |
---|
equals |
Constructor Detail |
---|
public FormPredicate(Form form)
Method Detail |
---|
public boolean call(Denotator... denotators)
AbstractPredicate
call
in interface Predicate
call
in class AbstractPredicate
public int getArity()
AbstractPredicate
getArity
in interface Predicate
getArity
in class AbstractPredicate
public Form getInputForm(int i)
AbstractPredicate
getInputForm
in interface Predicate
getInputForm
in class AbstractPredicate
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |