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