techniques.PL
Class Negation

java.lang.Object
  |
  +--techniques.PL.Sentence
        |
        +--techniques.PL.Negation
All Implemented Interfaces:
java.lang.Cloneable

public class Negation
extends Sentence

Represents the negation of a Variable.


Constructor Summary
Negation(Variable variable)
           
 
Method Summary
 java.lang.Object clone()
          Sentences perform a deep copy when cloning.
 boolean equals(java.lang.Object o)
           
 java.util.Set getVariables()
          Returns the set of all Variables appearing in this Sentence.
 int hashCode()
           
 java.lang.Boolean isSatisfied(Interpretation interpretation)
          Evaluates the truth value of this Sentence under interpretation.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Negation

public Negation(Variable variable)
Method Detail

getVariables

public java.util.Set getVariables()
Description copied from class: Sentence
Returns the set of all Variables appearing in this Sentence.
Overrides:
getVariables in class Sentence

isSatisfied

public java.lang.Boolean isSatisfied(Interpretation interpretation)
Description copied from class: Sentence
Evaluates the truth value of this Sentence under interpretation. If the truth value of the sentence is undetermined by interpretation, returns null.
Overrides:
isSatisfied in class Sentence

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

clone

public java.lang.Object clone()
Description copied from class: Sentence
Sentences perform a deep copy when cloning.
Overrides:
clone in class Sentence