|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IOperator1
IOperator1 interface defines the methods to be implemented by the operator which has an argument. For example, "not operator".
Method Summary | |
---|---|
IProposition |
getProposition()
|
void |
setProposition(IProposition prop)
|
Methods inherited from interface org.eclipse.actf.util.vocab.IProposition |
---|
eval, getName |
Method Detail |
---|
IProposition getProposition()
void setProposition(IProposition prop)
prop
- the proposition to be used for argument of the operator.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |