argutia.logic
Class NegativeLiteral

java.lang.Object
  extended by argutia.logic.NegativeLiteral
All Implemented Interfaces:
Literal
public class NegativeLiteral
extends Object
implements Literal
Field Summary
private int hashCode
           
private PropositionalVariable oppose
           
 
Constructor Summary
NegativeLiteral(PropositionalVariable oppose)
           
 
Method Summary
 boolean equals(Object o)
           
 PropositionalVariable getOppose()
           
 int hashCode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Field Detail

oppose

private final PropositionalVariable oppose

hashCode

private final int hashCode
Constructor Detail

NegativeLiteral

public NegativeLiteral(PropositionalVariable oppose)
Method Detail

getOppose

public PropositionalVariable getOppose()
Specified by:
getOppose in interface Literal

equals

public boolean equals(Object o)
Overrides:
equals in class Object

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object
Argutia JavaDoc
23 décembre 2007