techniques.FOL
Class FalseProposition

java.lang.Object
  |
  +--techniques.FOL.Sentence
        |
        +--techniques.FOL.Proposition
              |
              +--techniques.FOL.FalseProposition

All Implemented Interfaces:

java.lang.Cloneable

public final class FalseProposition

extends Proposition

Fields inherited from class techniques.FOL.Sentence

FALSE, TRUE

 

Constructor Summary

FalseProposition()

 

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

FalseProposition

public FalseProposition()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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

unify

public Substitution unify(Proposition p)

Overrides:

unify in class Proposition

makeClauses

public ClauseList makeClauses()

Overrides:

makeClauses in class Proposition

obtainVariables

public java.util.Vector obtainVariables()

from Proposition abstract class. No variables are in an FalseProposition. Therefore, return empty Vector.

Overrides:

obtainVariables in class Proposition