sl
Class Not

java.lang.Object
  sl.Not

public class Not

extends java.lang.Object

This class represents the fact that a predicate is currently false

Field Summary

private java.lang.Object

predicate

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

Field Detail

predicate

private java.lang.Object predicate

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.