A

addBinding(Variable, Object) - Method in class techniques.FOL.Substitution

extends this Substitution object with an association between the given Variable and value.

addClause(Clause) - Method in class techniques.FOL.ClauseList

 

addLiteral(Literal) - Method in class techniques.FOL.Clause

 

apply(Substitution) - Method in class techniques.FOL.Substitution

 

AtomicProposition - class techniques.FOL.AtomicProposition.

 

AtomicProposition(String) - Constructor for class techniques.FOL.AtomicProposition

 

B

bind(Variable, Term) - Method in class techniques.FOL.Substitution

 

C

chooseVariable(Sentence) - Static method in class techniques.solvers.DPLL

get a list of the variables in s and somehow pick one of them

clausalForm() - Method in class techniques.FOL.Sentence

Returns a list of clauses that is equivalent to this Sentence.

Clause - class techniques.FOL.Clause.

A Clause is a set of Literals, implicitly disjoined.

Clause() - Constructor for class techniques.FOL.Clause

 

Clause(Clause) - Constructor for class techniques.FOL.Clause

 

Clause(Literal) - Constructor for class techniques.FOL.Clause

 

Clause(Vector) - Constructor for class techniques.FOL.Clause

 

Clause(Vector, boolean) - Constructor for class techniques.FOL.Clause

 

clauseAt(int) - Method in class techniques.FOL.ClauseList

 

ClauseList - class techniques.FOL.ClauseList.

 

ClauseList() - Constructor for class techniques.FOL.ClauseList

 

ClauseList(Clause) - Constructor for class techniques.FOL.ClauseList

 

ClauseList(Literal) - Constructor for class techniques.FOL.ClauseList

 

ClauseList(Vector) - Constructor for class techniques.FOL.ClauseList

 

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

 

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

cloning returns a deep copy of a sentence.

clone() - Method in class techniques.FOL.Connective

 

clone() - Method in class techniques.FOL.Quantifier

 

clone() - Method in class techniques.FOL.Symbol

 

clone() - Method in class techniques.FOL.TermList

 

clone() - Method in class techniques.FOL.Term

 

clone() - Method in class techniques.FOL.Function

 

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

 

clone() - Method in class techniques.FOL.CompoundProposition

 

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

 

CNFconvert(Sentence) - Static method in class techniques.FOL.PLConverter

Converts a Sentence into a techniques.PL.Sentence.

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

Returns true with probability 0.5.

compose(Substitution) - Method in class techniques.FOL.Substitution

 

CompoundProposition - class techniques.FOL.CompoundProposition.

 

CompoundProposition(Symbol, TermList) - Constructor for class techniques.FOL.CompoundProposition

 

concatenate(Clause) - Method in class techniques.FOL.Clause

 

concatenate(ClauseList) - Method in class techniques.FOL.ClauseList

 

Conjunction - class techniques.PL.Conjunction.

Represents a conjunction of a list of sentences.

Conjunction - class techniques.FOL.Conjunction.

 

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

Constructs a conjunction from a List of Disjunctions.

Conjunction(Sentence, Sentence) - Constructor for class techniques.FOL.Conjunction

 

Connective - class techniques.FOL.Connective.

 

Connective(Sentence, Sentence) - Constructor for class techniques.FOL.Connective

 

ConstantTerm - class techniques.FOL.ConstantTerm.

 

ConstantTerm(String) - Constructor for class techniques.FOL.ConstantTerm

 

convert(Sentence, Set) - Static method in class techniques.FOL.PLConverter

Converts a Sentence to the propositional subset of first-order logic, given a finite "universe" of Objects.

convertFile(String, String, Set) - Static method in class techniques.FOL.PLConverter

Given an input file in the FOL language, and a universe, writes an output file in the PL language.

count - Static variable in class techniques.solvers.DPLL

 

D

debugPrint(String) - Static method in class techniques.FOL.Sentence

 

debugPrintln(String) - Static method in class techniques.FOL.Sentence

for debugging

Disjunction - class techniques.PL.Disjunction.

Represents a disjunction of a list of sentences.

Disjunction - class techniques.FOL.Disjunction.

 

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

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

Disjunction(Sentence, Sentence) - Constructor for class techniques.FOL.Disjunction

 

DPLL - class techniques.solvers.DPLL.

 

DPLL() - Constructor for class techniques.solvers.DPLL

 

driveInNegations() - Method in class techniques.FOL.Sentence

Drive in negations to get an equivalent Sentence.

driveInNegations() - Method in class techniques.FOL.Conjunction

 

driveInNegations() - Method in class techniques.FOL.Proposition

 

driveInNegations() - Method in class techniques.FOL.Implication

 

driveInNegations() - Method in class techniques.FOL.Negation

 

driveInNegations() - Method in class techniques.FOL.Equivalence

 

driveInNegations() - Method in class techniques.FOL.Disjunction

 

driveInNegations() - Method in class techniques.FOL.Existential

 

driveInNegations() - Method in class techniques.FOL.Universal

 

E

eliminateEquivalences() - Method in class techniques.FOL.Sentence

Removes all equivalence Connectives from the Sentence.

eliminateEquivalences() - Method in class techniques.FOL.Conjunction

 

eliminateEquivalences() - Method in class techniques.FOL.Proposition

 

eliminateEquivalences() - Method in class techniques.FOL.Implication

 

eliminateEquivalences() - Method in class techniques.FOL.Negation

 

eliminateEquivalences() - Method in class techniques.FOL.Equivalence

 

eliminateEquivalences() - Method in class techniques.FOL.Disjunction

 

eliminateEquivalences() - Method in class techniques.FOL.Existential

 

eliminateEquivalences() - Method in class techniques.FOL.Universal

 

eliminateImplications() - Method in class techniques.FOL.Sentence

Removes all Implication Connectives from the Sentence.

eliminateImplications() - Method in class techniques.FOL.Conjunction

 

eliminateImplications() - Method in class techniques.FOL.Proposition

 

eliminateImplications() - Method in class techniques.FOL.Implication

 

eliminateImplications() - Method in class techniques.FOL.Negation

 

eliminateImplications() - Method in class techniques.FOL.Equivalence

 

eliminateImplications() - Method in class techniques.FOL.Disjunction

 

eliminateImplications() - Method in class techniques.FOL.Existential

 

eliminateImplications() - Method in class techniques.FOL.Universal

 

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

 

equals(Object) - Method in class techniques.FOL.Symbol

 

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

 

equals(Object) - Method in class techniques.FOL.ConstantTerm

 

equals(Proposition) - Method in class techniques.FOL.Proposition

 

Equivalence - class techniques.FOL.Equivalence.

 

Equivalence(Sentence, Sentence) - Constructor for class techniques.FOL.Equivalence

 

Existential - class techniques.FOL.Existential.

 

EXISTENTIAL - Static variable in class techniques.FOL.Quantification

 

Existential(Variable, Sentence) - Constructor for class techniques.FOL.Existential

 

extractQuantifications(Vector) - Method in class techniques.FOL.Sentence

 

extractQuantifications(Vector) - Method in class techniques.FOL.Conjunction

 

extractQuantifications(Vector) - Method in class techniques.FOL.Proposition

 

extractQuantifications(Vector) - Method in class techniques.FOL.Implication

 

extractQuantifications(Vector) - Method in class techniques.FOL.Negation

 

extractQuantifications(Vector) - Method in class techniques.FOL.Equivalence

 

extractQuantifications(Vector) - Method in class techniques.FOL.Disjunction

 

extractQuantifications(Vector) - Method in class techniques.FOL.Existential

 

extractQuantifications(Vector) - Method in class techniques.FOL.Universal

 

F

FALSE - Static variable in class techniques.FOL.Sentence

The False proposition.

FalseProposition - class techniques.FOL.FalseProposition.

 

FalseProposition() - Constructor for class techniques.FOL.FalseProposition

 

findPureLiteral(Conjunction) - Static method in class techniques.solvers.DPLL

go through each clause in the sentence.

findUnitClause(Conjunction) - Static method in class techniques.solvers.DPLL

 

Function - class techniques.FOL.Function.

 

Function(Symbol, TermList) - Constructor for class techniques.FOL.Function

 

G

getBinding(Variable) - Method in class techniques.FOL.Substitution

get current binding of the given Variable.

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.

getEmpty() - Static method in class techniques.FOL.Substitution

obtains the Empty (representing no current bindings) object

getFirst() - Method in class techniques.FOL.TermList

 

getFirstVariable(HashMap) - Static method in class techniques.solvers.DPLL

 

getFirstVariable(Sentence) - Static method in class techniques.solvers.DPLL

 

getFunctionSymbol() - Method in class techniques.FOL.Function

 

getName() - Method in class techniques.FOL.Variable

 

getRelationSymbol() - Method in class techniques.FOL.CompoundProposition

 

getRest() - Method in class techniques.FOL.TermList

 

getTerms() - Method in class techniques.FOL.Function

 

getTerms() - Method in class techniques.FOL.CompoundProposition

 

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

 

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

 

I

Implication - class techniques.FOL.Implication.

 

Implication(Sentence, Sentence) - Constructor for class techniques.FOL.Implication

 

Interpretation - class techniques.PL.Interpretation.

Represents an interpretation in propositional logic.

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

 

isBound(Variable) - Method in class techniques.FOL.Substitution

determines if the given Variable is currently bound.

isEmpty() - Method in class techniques.FOL.Substitution

determine if this Substitution object represents the Empty object

isEmptySentence(Sentence) - Static method in class techniques.solvers.DPLL

 

isExistential() - Method in class techniques.FOL.Quantification

 

isFalse() - Method in class techniques.FOL.ClauseList

 

isNegative() - Method in class techniques.FOL.Literal

 

isNegative() - Method in class techniques.FOL.NegativeLiteral

 

isNegative() - Method in class techniques.FOL.PositiveLiteral

 

isPositive() - Method in class techniques.FOL.Literal

 

isPositive() - Method in class techniques.FOL.NegativeLiteral

 

isPositive() - Method in class techniques.FOL.PositiveLiteral

 

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

 

isTrue() - Method in class techniques.FOL.ClauseList

 

isTrue() - Method in class techniques.FOL.Clause

 

isUniversal() - Method in class techniques.FOL.Quantification

 

L

length() - Method in class techniques.FOL.TermList

 

Literal - class techniques.FOL.Literal.

 

Literal() - Constructor for class techniques.FOL.Literal

 

literalAt(int) - Method in class techniques.FOL.Clause

 

M

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

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

main(String[]) - Static method in class techniques.FOL.parser.Parser

 

makeClauses() - Method in class techniques.FOL.Sentence

 

makeClauses() - Method in class techniques.FOL.Conjunction

 

makeClauses() - Method in class techniques.FOL.Proposition

 

makeClauses() - Method in class techniques.FOL.AtomicProposition

 

makeClauses() - Method in class techniques.FOL.Implication

 

makeClauses() - Method in class techniques.FOL.TrueProposition

 

makeClauses() - Method in class techniques.FOL.Negation

 

makeClauses() - Method in class techniques.FOL.FalseProposition

 

makeClauses() - Method in class techniques.FOL.Equivalence

 

makeClauses() - Method in class techniques.FOL.Disjunction

 

makeClauses() - Method in class techniques.FOL.Existential

 

makeClauses() - Method in class techniques.FOL.CompoundProposition

 

makeClauses() - Method in class techniques.FOL.Universal

 

N

name() - Method in class techniques.FOL.Symbol

 

nconc(ClauseList) - Method in class techniques.FOL.ClauseList

 

negate() - Method in class techniques.FOL.Sentence

Return the negation of this sentence by applying deMorgan's law.

negate() - Method in class techniques.FOL.Conjunction

 

negate() - Method in class techniques.FOL.Proposition

 

negate() - Method in class techniques.FOL.Implication

 

negate() - Method in class techniques.FOL.Negation

 

negate() - Method in class techniques.FOL.Equivalence

 

negate() - Method in class techniques.FOL.Disjunction

 

negate() - Method in class techniques.FOL.Existential

 

negate() - Method in class techniques.FOL.Universal

 

Negation - class techniques.PL.Negation.

Represents the negation of a Variable.

Negation - class techniques.FOL.Negation.

 

Negation(Sentence) - Constructor for class techniques.FOL.Negation

 

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

 

NegativeLiteral - class techniques.FOL.NegativeLiteral.

 

NegativeLiteral(Proposition) - Constructor for class techniques.FOL.NegativeLiteral

 

O

obtainVariables() - Method in class techniques.FOL.TermList

see Proposition.obtainVariables() get the variables in this list of terms

obtainVariables() - Method in class techniques.FOL.Term

returns a Vector of Terms that are Variables.

obtainVariables() - Method in class techniques.FOL.Proposition

 

obtainVariables() - Method in class techniques.FOL.AtomicProposition

from Proposition abstract class.

obtainVariables() - Method in class techniques.FOL.Function

from Term abstract class retrieves all the Variables and returns them in a Vector.

obtainVariables() - Method in class techniques.FOL.Variable

from Term abstract class.

obtainVariables() - Method in class techniques.FOL.TrueProposition

from Proposition abstract class.

obtainVariables() - Method in class techniques.FOL.FalseProposition

from Proposition abstract class.

obtainVariables() - Method in class techniques.FOL.CompoundProposition

from Proposition abstract class.

obtainVariables() - Method in class techniques.FOL.ConstantTerm

From Term abstract class.

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.

parse(String) - Static method in class techniques.FOL.parser.Parser

 

parseFile(String) - Static method in class techniques.FOL.parser.Parser

 

Parser - class techniques.FOL.parser.Parser.

 

Parser() - Constructor for class techniques.FOL.parser.Parser

 

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

Given a file containing a CNF sentence, this function outputs the same sentence, in DIMACS format, to a file.

pl2dimacs(File, String) - Static method in class techniques.PL.CNF

Given a file containing a CNF sentence,this function outputs the same sentence, in DIMACS format, to a file.

pl2dimacs(Sentence, String) - Static method in class techniques.PL.CNF

Given a CNF sentence,this function outputs the same sentence, in DIMACS format, to a file.

PLConverter - class techniques.FOL.PLConverter.

Contains static methods to convert first-order to propositional logic.

PositiveLiteral - class techniques.FOL.PositiveLiteral.

 

PositiveLiteral(Proposition) - Constructor for class techniques.FOL.PositiveLiteral

 

print(PrintStream) - Method in class techniques.FOL.ClauseList

 

print(PrintStream) - Method in class techniques.FOL.Clause

 

Proposition - class techniques.FOL.Proposition.

 

proposition() - Method in class techniques.FOL.Literal

 

Proposition() - Constructor for class techniques.FOL.Proposition

 

Q

Quantification - class techniques.FOL.Quantification.

 

Quantification(boolean, Variable) - Constructor for class techniques.FOL.Quantification

 

Quantifier - class techniques.FOL.Quantifier.

 

Quantifier(Variable, Sentence) - Constructor for class techniques.FOL.Quantifier

 

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.

removeLiteralAt(int) - Method in class techniques.FOL.Clause

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Sentence

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Conjunction

 

removeQuantifiers(Vector) - Method in class techniques.FOL.TermList

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Term

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Proposition

 

removeQuantifiers(Vector) - Method in class techniques.FOL.AtomicProposition

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Function

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Implication

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Variable

 

removeQuantifiers(Vector) - Method in class techniques.FOL.TrueProposition

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Negation

 

removeQuantifiers(Vector) - Method in class techniques.FOL.FalseProposition

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Equivalence

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Disjunction

 

removeQuantifiers(Vector) - Method in class techniques.FOL.Existential

 

removeQuantifiers(Vector) - Method in class techniques.FOL.CompoundProposition

implemented from Proposition interface convert free variables to constants

removeQuantifiers(Vector) - Method in class techniques.FOL.Universal

 

removeQuantifiers(Vector) - Method in class techniques.FOL.ConstantTerm

 

rename() - Method in class techniques.FOL.Variable

Generate a new variable whose name is with a unique numeric suffix

renameVariables() - Method in class techniques.FOL.Clause

 

renameVariables() - Method in class techniques.FOL.Sentence

 

renameVariables() - Method in class techniques.FOL.Conjunction

 

renameVariables() - Method in class techniques.FOL.Proposition

 

renameVariables() - Method in class techniques.FOL.Implication

 

renameVariables() - Method in class techniques.FOL.Negation

 

renameVariables() - Method in class techniques.FOL.Equivalence

 

renameVariables() - Method in class techniques.FOL.Disjunction

 

renameVariables() - Method in class techniques.FOL.Existential

 

renameVariables() - Method in class techniques.FOL.Universal

 

S

Sentence - class techniques.PL.Sentence.

Abstract class representing a sentence in propositional logic.

Sentence - class techniques.FOL.Sentence.

Represents a Sentence in first-order logic.

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

 

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

 

simplify() - Method in class techniques.FOL.Sentence

Simplifies this sentence by removing subtrees that are known to be true or false.

simplify() - Method in class techniques.FOL.Conjunction

 

simplify() - Method in class techniques.FOL.Quantifier

 

simplify() - Method in class techniques.FOL.Proposition

 

simplify() - Method in class techniques.FOL.Implication

 

simplify() - Method in class techniques.FOL.Negation

 

simplify() - Method in class techniques.FOL.Equivalence

 

simplify() - Method in class techniques.FOL.Disjunction

 

simplify(Conjunction, Variable, Interpretation) - Static method in class techniques.solvers.DPLL

given an assignment to the proposition v, figure out which clauses in the cnf sentence 's' can be simplfied

size() - Method in class techniques.FOL.ClauseList

 

size() - Method in class techniques.FOL.Clause

 

solve_internal(Conjunction, Interpretation) - Static method in class techniques.solvers.DPLL

 

solve(Conjunction) - Static method in class techniques.solvers.DPLL

Assumes sentence 's' has been parsed by CNF.parse() i.e., 's' should be a CNF sentence.

substitute(Substitution) - Method in class techniques.FOL.Clause

 

substitute(Substitution) - Method in class techniques.FOL.Sentence

 

substitute(Substitution) - Method in class techniques.FOL.Conjunction

from Sentence abstract class

substitute(Substitution) - Method in class techniques.FOL.TermList

 

substitute(Substitution) - Method in class techniques.FOL.Term

 

substitute(Substitution) - Method in class techniques.FOL.AtomicProposition

from Sentence abstract class.

substitute(Substitution) - Method in class techniques.FOL.Function

from Term abstract class only the terms of the function are of concern.

substitute(Substitution) - Method in class techniques.FOL.Implication

 

substitute(Substitution) - Method in class techniques.FOL.Variable

from Term abstract class

substitute(Substitution) - Method in class techniques.FOL.TrueProposition

from Sentence abstract class

substitute(Substitution) - Method in class techniques.FOL.Negation

 

substitute(Substitution) - Method in class techniques.FOL.FalseProposition

from Sentence abstract class

substitute(Substitution) - Method in class techniques.FOL.Equivalence

from Sentence abstract class

substitute(Substitution) - Method in class techniques.FOL.Disjunction

from Sentence abstract class

substitute(Substitution) - Method in class techniques.FOL.Existential

 

substitute(Substitution) - Method in class techniques.FOL.CompoundProposition

implemented from Sentence abstract class

substitute(Substitution) - Method in class techniques.FOL.Universal

 

substitute(Substitution) - Method in class techniques.FOL.ConstantTerm

From Term abstract class since is all indexed by Variables, this should return itself

substituteVariable(Variable, Term) - Method in class techniques.FOL.Sentence

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Conjunction

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.TermList

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Term

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Proposition

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.AtomicProposition

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Function

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Implication

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Variable

implemented from interface Term if oldVar's name is equal to the name of this, replace with newVar.

substituteVariable(Variable, Term) - Method in class techniques.FOL.TrueProposition

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Negation

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.FalseProposition

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Equivalence

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Disjunction

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.Existential

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.CompoundProposition

implemented from interface Proposition

substituteVariable(Variable, Term) - Method in class techniques.FOL.Universal

 

substituteVariable(Variable, Term) - Method in class techniques.FOL.ConstantTerm

 

Substitution - class techniques.FOL.Substitution.

 

supplyMissingValues(Interpretation, Set) - Static method in class techniques.solvers.DPLL

 

Symbol - class techniques.FOL.Symbol.

 

Symbol() - Constructor for class techniques.FOL.Symbol

 

Symbol(String) - Constructor for class techniques.FOL.Symbol