techniques.FOL
Class Proposition
java.lang.Object
|
+--techniques.FOL.Sentence
|
+--techniques.FOL.Proposition
- All Implemented Interfaces:
- java.lang.Cloneable
- Direct Known Subclasses:
- AtomicProposition, CompoundProposition, FalseProposition, TrueProposition
- public abstract class Proposition
- extends Sentence
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Proposition
public Proposition()
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 abstract 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
obtainVariables
public abstract java.util.Vector obtainVariables()
removeQuantifiers
public abstract Sentence removeQuantifiers(java.util.Vector quantifications)
- Overrides:
removeQuantifiers
in class Sentence
unify
public abstract Substitution unify(Proposition p)
makeClauses
public abstract ClauseList makeClauses()
- Overrides:
makeClauses
in class Sentence
equals
public boolean equals(Proposition p)