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