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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Conjunction
public Conjunction(Sentence s1,
Sentence s2)
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