techniques.FOL
Class TrueProposition

java.lang.Object
  |
  +--techniques.FOL.Sentence
        |
        +--techniques.FOL.Proposition
              |
              +--techniques.FOL.TrueProposition
All Implemented Interfaces:
java.lang.Cloneable

public final class TrueProposition
extends Proposition


Fields inherited from class techniques.FOL.Sentence
FALSE, TRUE
 
Constructor Summary
TrueProposition()
           
 
Method Summary
 ClauseList makeClauses()
           
 java.util.Vector obtainVariables()
          from Proposition abstract class.
 Sentence removeQuantifiers(java.util.Vector quantifications)
           
 Sentence substitute(Substitution s)
          from Sentence abstract class
 Sentence substituteVariable(Variable oldVar, Term newVar)
           
 java.lang.String toString()
           
 Substitution unify(Proposition p)
           
 
Methods inherited from class techniques.FOL.Proposition
driveInNegations, eliminateEquivalences, eliminateImplications, equals, extractQuantifications, negate, renameVariables, simplify
 
Methods inherited from class techniques.FOL.Sentence
clausalForm, clone, debugPrint, debugPrintln
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TrueProposition

public TrueProposition()
Method Detail

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 Proposition

removeQuantifiers

public Sentence removeQuantifiers(java.util.Vector quantifications)
Overrides:
removeQuantifiers in class Proposition

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

makeClauses

public ClauseList makeClauses()
Overrides:
makeClauses in class Proposition

unify

public Substitution unify(Proposition p)
Overrides:
unify in class Proposition

obtainVariables

public java.util.Vector obtainVariables()
from Proposition abstract class. No variables are in an TrueProposition. Therefore, return empty Vector.
Overrides:
obtainVariables in class Proposition