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, getName
int size()
IProposition get(int index)
index
- the index of the proposition.void add(IProposition prop)
prop
- the proposition to be added.