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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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