techniques.FOL
Class Quantifier

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

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Existential, Universal

public abstract class Quantifier

extends Sentence

Fields inherited from class techniques.FOL.Sentence

FALSE, TRUE

 

Constructor Summary

Quantifier(Variable v, Sentence s)

 

Method Summary
java.lang.Object	clone()           cloning returns a deep copy of a sentence.
Sentence	simplify()           Simplifies this sentence by removing subtrees that are known to be true or false.

 

Methods inherited from class techniques.FOL.Sentence

clausalForm, debugPrint, debugPrintln, driveInNegations, eliminateEquivalences, eliminateImplications, extractQuantifications, makeClauses, negate, removeQuantifiers, renameVariables, substitute, substituteVariable

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

Quantifier

public Quantifier(Variable v,
                  Sentence s)

clone

public java.lang.Object clone()

Description copied from class: Sentence

cloning returns a deep copy of a sentence.

Overrides:

clone 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