|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--techniques.FOL.Sentence | +--techniques.FOL.Connective
Fields inherited from class techniques.FOL.Sentence |
FALSE, TRUE |
Constructor Summary | |
Connective(Sentence s1,
Sentence s2)
|
Method Summary | |
java.lang.Object |
clone()
cloning returns a deep copy of a sentence. |
Methods inherited from class techniques.FOL.Sentence |
clausalForm, debugPrint, debugPrintln, driveInNegations, eliminateEquivalences, eliminateImplications, extractQuantifications, makeClauses, negate, removeQuantifiers, renameVariables, simplify, substitute, substituteVariable |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Connective(Sentence s1, Sentence s2)
Method Detail |
public java.lang.Object clone()
Sentence
clone
in class Sentence
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |