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
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
CompoundProposition
public CompoundProposition(Symbol relationSymbol,
TermList terms)
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