techniques.PL
Class Conjunction

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

public class Conjunction
extends Sentence

Represents a conjunction of a list of sentences.


Constructor Summary
Conjunction(java.util.List clauses)
          Constructs a conjunction from a List of Disjunctions.
 
Method Summary
 java.lang.Object clone()
          Sentences perform a deep copy when cloning.
 java.util.List getClauses()
          Returns the clauses of this Conjunction.
 java.util.Set getVariables()
          Returns the set of variables used in this Conjunction.
 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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Conjunction

public Conjunction(java.util.List clauses)
Constructs a conjunction from a List of Disjunctions.
Method Detail

getClauses

public java.util.List getClauses()
Returns the clauses of this Conjunction. NOTE: mutating the returned List will mutate this Conjunction! Be sure you understand what you are doing if you choose to do this.

getVariables

public java.util.Set getVariables()
Returns the set of variables used in this Conjunction.
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

clone

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