techniques.PL
Class Sentence

java.lang.Object
  |
  +--techniques.PL.Sentence
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
Conjunction, Disjunction, Negation, Variable

public abstract class Sentence
extends java.lang.Object
implements java.lang.Cloneable

Abstract class representing a sentence in propositional logic. It is the base class of all the propositional connectives and variables.


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

Constructor Detail

Sentence

public Sentence()
Method Detail

getVariables

public abstract java.util.Set getVariables()
Returns the set of all Variables appearing in this Sentence.

isSatisfied

public abstract java.lang.Boolean isSatisfied(Interpretation interpretation)
Evaluates the truth value of this Sentence under interpretation. If the truth value of the sentence is undetermined by interpretation, returns null.

clone

public java.lang.Object clone()
Sentences perform a deep copy when cloning.