techniques.PL
Class Disjunction

java.lang.Object
  |
  +--techniques.PL.Sentence
        |
        +--techniques.PL.Disjunction

All Implemented Interfaces:

java.lang.Cloneable

public class Disjunction

extends Sentence

Represents a disjunction of a list of sentences.

Constructor Summary

Disjunction(java.util.List clauses)
Constructs a Disjunction from a List of literals, i.e.

Method Summary

java.lang.Object	clone() Sentences perform a deep copy when cloning.
java.util.List	getClauses() Returns the list of literals of this Disjunction.
java.util.Set	getVariables() Returns the set of all Variables appearing in this Sentence.
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

Disjunction

public Disjunction(java.util.List clauses)

Constructs a Disjunction from a List of literals, i.e. Variables and Negations.

Method Detail

getClauses

public java.util.List getClauses()

Returns the list of literals of this Disjunction. NOTE: mutating the returned List will mutate this Disjunction! Be sure you understand what you are doing if you choose to do this.

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

clone

public java.lang.Object clone()

Description copied from class: Sentence

Sentences perform a deep copy when cloning.

Overrides:

clone in class Sentence