|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--jade.onto.basic.Not
This class represents the fact that a predicate is currently false
| Constructor Summary | |
Not()
|
|
| Method Summary | |
java.lang.Object |
get_0()
Gets the predicate that is asserted to be false. |
void |
set_0(java.lang.Object p)
Sets the predicate that is asserted to be false. |
| Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
| Constructor Detail |
public Not()
| Method Detail |
public void set_0(java.lang.Object p)
public java.lang.Object get_0()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||