|
|||||||||
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.ExtensionPredicate
public class ExtensionPredicate
A predicate defined by its extension.
Constructor Summary | |
---|---|
ExtensionPredicate(Denotator... denotators)
Creates a predicate with extension defined by denotators . |
|
ExtensionPredicate(java.util.List<Denotator> denoList)
Creates a predicate with extension defined by a list of denotators. |
|
ExtensionPredicate(ListDenotator d)
Creates a predicate with extension defined by the set of denotators in the ListDenotator d . |
|
ExtensionPredicate(PowerDenotator d)
Creates a predicate with extension defined by the set of denotators in the PowerDenotator d . |
Method Summary | |
---|---|
ExtensionPredicate |
add(Denotator... denotators)
Adds denotators to the extension. |
ExtensionPredicate |
addAll(ListDenotator d)
Adds all coordinate denotators from d to the extension. |
ExtensionPredicate |
addAll(PowerDenotator d)
Adds all coordinate denotators from d to the extension. |
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 ExtensionPredicate(java.util.List<Denotator> denoList)
public ExtensionPredicate(Denotator... denotators)
denotators
.
public ExtensionPredicate(PowerDenotator d)
d
.
public ExtensionPredicate(ListDenotator d)
d
.
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
public ExtensionPredicate addAll(PowerDenotator d)
d
to the extension.
d
- a PowerDenotatorpublic ExtensionPredicate addAll(ListDenotator d)
d
- a ListDenotatorpublic ExtensionPredicate add(Denotator... denotators)
denotators
to the extension.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |