public interface IOperator extends IProposition
| Modifier and Type | Method and Description |
|---|---|
void |
add(IProposition prop)
Add a proposition to the arguments of this operator.
|
IProposition |
get(int index) |
int |
size() |
eval, getNameint size()
IProposition get(int index)
index - the index of the proposition.void add(IProposition prop)
prop - the proposition to be added.