jade.onto.basic
Class Not

java.lang.Object
  |
  +--jade.onto.basic.Not

public class Not
extends java.lang.Object

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

Not

public Not()
Method Detail

set_0

public void set_0(java.lang.Object p)
Sets the predicate that is asserted to be false.

get_0

public java.lang.Object get_0()
Gets the predicate that is asserted to be false.