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.