techniques.FOL
Class CompoundProposition

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

public class CompoundProposition
extends Proposition


Fields inherited from class techniques.FOL.Sentence
FALSE, TRUE
 
Constructor Summary
CompoundProposition(Symbol relationSymbol, TermList terms)
           
 
Method Summary
 java.lang.Object clone()
          cloning returns a deep copy of a sentence.
 Symbol getRelationSymbol()
           
 TermList getTerms()
           
 ClauseList makeClauses()
           
 java.util.Vector obtainVariables()
          from Proposition abstract class.
 Sentence removeQuantifiers(java.util.Vector quantifications)
          implemented from Proposition interface convert free variables to constants
 Sentence substitute(Substitution s)
          implemented from Sentence abstract class
 Sentence substituteVariable(Variable oldVar, Term newVar)
          implemented from interface Proposition
 java.lang.String toString()
           
 Substitution unify(Proposition p)
          implemented from Proposition interface if
 
Methods inherited from class techniques.FOL.Proposition
driveInNegations, eliminateEquivalences, eliminateImplications, equals, extractQuantifications, negate, renameVariables, simplify
 
Methods inherited from class techniques.FOL.Sentence
clausalForm, debugPrint, debugPrintln
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CompoundProposition

public CompoundProposition(Symbol relationSymbol,
                           TermList terms)
Method Detail

clone

public java.lang.Object clone()
Description copied from class: Sentence
cloning returns a deep copy of a sentence.
Overrides:
clone in class Sentence

getRelationSymbol

public Symbol getRelationSymbol()

getTerms

public TermList getTerms()

substitute

public Sentence substitute(Substitution s)
implemented from Sentence abstract class
Overrides:
substitute in class Sentence

substituteVariable

public Sentence substituteVariable(Variable oldVar,
                                   Term newVar)
implemented from interface Proposition
Overrides:
substituteVariable in class Proposition

removeQuantifiers

public Sentence removeQuantifiers(java.util.Vector quantifications)
implemented from Proposition interface convert free variables to constants
Overrides:
removeQuantifiers in class Proposition

unify

public Substitution unify(Proposition p)
implemented from Proposition interface if

is a CompoundProposition, the propositional symbols are equal, and the terms are unifiable, then return the substitution, else return null.

Overrides:
unify in class Proposition

makeClauses

public ClauseList makeClauses()
Overrides:
makeClauses in class Proposition

obtainVariables

public java.util.Vector obtainVariables()
from Proposition abstract class. get the variables in this proposition.
Overrides:
obtainVariables in class Proposition

toString

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