techniques.FOL
Class Negation

java.lang.Object
  |
  +--techniques.FOL.Sentence
        |
        +--techniques.FOL.Negation
All Implemented Interfaces:
java.lang.Cloneable

public class Negation
extends Sentence


Fields inherited from class techniques.FOL.Sentence
FALSE, TRUE
 
Constructor Summary
Negation(Sentence s)
           
 
Method Summary
 java.lang.Object clone()
          cloning returns a deep copy of a sentence.
 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 simplify()
          Simplifies this sentence by removing subtrees that are known to be true or false.
 Sentence substitute(Substitution s)
           
 Sentence substituteVariable(Variable oldVar, Term newVar)
           
 java.lang.String toString()
           
 
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

Negation

public Negation(Sentence s)
Method Detail

clone

public java.lang.Object clone()
Description copied from class: Sentence
cloning returns a deep copy of a sentence.
Overrides:
clone in class Sentence

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

driveInNegations

public Sentence driveInNegations()
Description copied from class: Sentence
Drive in negations to get an equivalent Sentence.
Overrides:
driveInNegations in class Sentence

simplify

public Sentence simplify()
Description copied from class: Sentence
Simplifies this sentence by removing subtrees that are known to be true or false.
Overrides:
simplify 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

substituteVariable

public Sentence substituteVariable(Variable oldVar,
                                   Term newVar)
Overrides:
substituteVariable in class Sentence

substitute

public Sentence substitute(Substitution s)
Overrides:
substitute 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