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