techniques.FOL
Class Existential

java.lang.Object
  |
  +--techniques.FOL.Sentence
        |
        +--techniques.FOL.Quantifier
              |
              +--techniques.FOL.Existential

All Implemented Interfaces:

java.lang.Cloneable

public class Existential

extends Quantifier

Fields inherited from class techniques.FOL.Sentence

FALSE, TRUE

 

Constructor Summary

Existential(Variable v, Sentence s)

 

Method Summary
Sentence	driveInNegations()           Drive in negations to get an equivalent Sentence.
Sentence	eliminateEquivalences()           Removes all equivalence Connectives from the Sentence.
Sentence	eliminateImplications()           Removes all Implication Connectives from the Sentence.
void	extractQuantifications(java.util.Vector quantifications)
ClauseList	makeClauses()
Sentence	negate()           Return the negation of this sentence by applying deMorgan's law.
Sentence	removeQuantifiers(java.util.Vector quantifications)
Sentence	renameVariables()
Sentence	substitute(Substitution s)
Sentence	substituteVariable(Variable oldVar, Term newVar)
java.lang.String	toString()

 

Methods inherited from class techniques.FOL.Quantifier

clone, simplify

 

Methods inherited from class techniques.FOL.Sentence

clausalForm, debugPrint, debugPrintln

 

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Constructor Detail

Existential

public Existential(Variable v,
                   Sentence s)

eliminateEquivalences

public Sentence eliminateEquivalences()

Description copied from class: Sentence

Removes all equivalence Connectives from the Sentence. This is the first stage of simplification.

Overrides:

eliminateEquivalences in class Sentence

eliminateImplications

public Sentence eliminateImplications()

Description copied from class: Sentence

Removes all Implication Connectives from the Sentence. This is the second stage of simplification.

Overrides:

eliminateImplications in class Sentence

negate

public Sentence negate()

Description copied from class: Sentence

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

Overrides:

negate in class Sentence

driveInNegations

public Sentence driveInNegations()

Description copied from class: Sentence

Drive in negations to get an equivalent Sentence.

Overrides:

driveInNegations in class Sentence

substitute

public Sentence substitute(Substitution s)

Overrides:

substitute in class Sentence

substituteVariable

public Sentence substituteVariable(Variable oldVar,
                                   Term newVar)

Overrides:

substituteVariable in class Sentence

renameVariables

public Sentence renameVariables()

Overrides:

renameVariables in class Sentence

extractQuantifications

public void extractQuantifications(java.util.Vector quantifications)

Overrides:

extractQuantifications in class Sentence

removeQuantifiers

public Sentence removeQuantifiers(java.util.Vector quantifications)

Overrides:

removeQuantifiers in class Sentence

makeClauses

public ClauseList makeClauses()

Overrides:

makeClauses in class Sentence

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object