public interface IOperator1 extends IProposition
| Modifier and Type | Method and Description |
|---|---|
IProposition |
getProposition() |
void |
setProposition(IProposition prop) |
eval, getNameIProposition getProposition()
void setProposition(IProposition prop)
prop - the proposition to be used for argument of the operator.