argutia.logic
Class NegativeLiteral
java.lang.Object
argutia.logic.NegativeLiteral
- All Implemented Interfaces:
- Literal
public class NegativeLiteral
- extends Object
- implements Literal
oppose
private final PropositionalVariable oppose
hashCode
private final int hashCode
NegativeLiteral
public NegativeLiteral(PropositionalVariable oppose)
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