C D E G H I M N P R S T V

C

clone() - Method in class techniques.PL.Sentence

Sentences perform a deep copy when cloning.

clone() - Method in class techniques.PL.Variable

clone() - Method in class techniques.PL.Negation

clone() - Method in class techniques.PL.Disjunction

clone() - Method in class techniques.PL.Conjunction

CNF - class techniques.PL.CNF.

A set of utilities for dealing with propositional logic sentences in conjunctive normal form (CNF).

CNF() - Constructor for class techniques.PL.CNF

coinFlip() - Static method in class techniques.PL.CNF

Returns true with probability 0.5.

Conjunction - class techniques.PL.Conjunction.

Represents a conjunction of a list of sentences.

Conjunction(List) - Constructor for class techniques.PL.Conjunction

Constructs a conjunction from a List of Disjunctions.

D

Disjunction - class techniques.PL.Disjunction.

Represents a disjunction of a list of sentences.

Disjunction(List) - Constructor for class techniques.PL.Disjunction

Constructs a Disjunction from a List of literals, i.e.

E

equals(Object) - Method in class techniques.PL.Variable

Variables are considered equal if they were constructed with the same name.

equals(Object) - Method in class techniques.PL.Negation

G

getClauses() - Method in class techniques.PL.Disjunction

Returns the list of literals of this Disjunction.

getClauses() - Method in class techniques.PL.Conjunction

Returns the clauses of this Conjunction.

getVariables() - Method in class techniques.PL.Sentence

Returns the set of all Variables appearing in this Sentence.

getVariables() - Method in class techniques.PL.Variable

getVariables() - Method in class techniques.PL.Negation

getVariables() - Method in class techniques.PL.Disjunction

getVariables() - Method in class techniques.PL.Conjunction

Returns the set of variables used in this Conjunction.

H

hashCode() - Method in class techniques.PL.Variable

hashCode() - Method in class techniques.PL.Negation

I

Interpretation - class techniques.PL.Interpretation.

Represents an interpretation in propositional logic.

Interpretation() - Constructor for class techniques.PL.Interpretation

isSatisfied(Interpretation) - Method in class techniques.PL.Sentence

Evaluates the truth value of this Sentence under interpretation.

isSatisfied(Interpretation) - Method in class techniques.PL.Variable

isSatisfied(Interpretation) - Method in class techniques.PL.Negation

isSatisfied(Interpretation) - Method in class techniques.PL.Disjunction

isSatisfied(Interpretation) - Method in class techniques.PL.Conjunction

M

main(String[]) - Static method in class techniques.PL.CNF

A command-line accessible version of the randInstance() method.

N

Negation - class techniques.PL.Negation.

Represents the negation of a Variable.

Negation(Variable) - Constructor for class techniques.PL.Negation

P

parse(File) - Static method in class techniques.PL.CNF

Parses a textfile into a Conjunction.

parse(String) - Static method in class techniques.PL.CNF

Parses a String into a Conjunction.

R

randDisjunction() - Static method in class techniques.PL.CNF

Returns a disjunction of three literals chosen by randLiteral()

randInstance(int) - Static method in class techniques.PL.CNF

Returns a randomly generated 3-SAT instance, as a String.

randInt(int, int) - Static method in class techniques.PL.CNF

returns a random integer between a and b, inclusive.

randLiteral() - Static method in class techniques.PL.CNF

Returns a random literal, as a string.

S

Sentence - class techniques.PL.Sentence.

Abstract class representing a sentence in propositional logic.

Sentence() - Constructor for class techniques.PL.Sentence

T

techniques.PL - package techniques.PL

toString() - Method in class techniques.PL.Variable

toString() - Method in class techniques.PL.Negation

toString() - Method in class techniques.PL.Disjunction

toString() - Method in class techniques.PL.Conjunction

V

Variable - class techniques.PL.Variable.

Represents an atomic variable.

Variable(char) - Constructor for class techniques.PL.Variable

Constructs a Variable with name symbol.

C D E G H I M N P R S T V