techniques.FOL
Class AtomicProposition

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

All Implemented Interfaces:

java.lang.Cloneable

public class AtomicProposition

extends Proposition

Fields inherited from class techniques.FOL.Sentence

FALSE, TRUE

 

Constructor Summary

AtomicProposition(java.lang.String _name)

 

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)           Taken from abstract method in Proposition.

 

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

AtomicProposition

public AtomicProposition(java.lang.String _name)

substitute

public Sentence substitute(Substitution s)

from Sentence abstract class. Cannot replace AtomicProposition

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

makeClauses

public ClauseList makeClauses()

Overrides:

makeClauses in class Proposition

unify

public Substitution unify(Proposition p)

Taken from abstract method in Proposition. If

is an AtomicProposition and equals then return an empty substitution, otherwise return null.

Overrides:

unify in class Proposition

obtainVariables

public java.util.Vector obtainVariables()

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

Overrides:

obtainVariables in class Proposition

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object