techniques.FOL
Class Conjunction

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

public class Conjunction
extends Connective


Fields inherited from class techniques.FOL.Sentence
FALSE, TRUE
 
Constructor Summary
Conjunction(Sentence s1, Sentence s2)
           
 
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 simplify()
          Simplifies this sentence by removing subtrees that are known to be true or false.
 Sentence substitute(Substitution s)
          from Sentence abstract class
 Sentence substituteVariable(Variable oldVar, Term newVar)
           
 java.lang.String toString()
           
 
Methods inherited from class techniques.FOL.Connective
clone
 
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

Conjunction

public Conjunction(Sentence s1,
                   Sentence s2)
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

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

extractQuantifications

public void extractQuantifications(java.util.Vector quantifications)
Overrides:
extractQuantifications in class Sentence

substitute

public Sentence substitute(Substitution s)
from Sentence abstract class
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

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