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)
Method Detail

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