|
||||||||||
| 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 | |||||||||