techniques.FOL
Class Connective

java.lang.Object
  |
  +--techniques.FOL.Sentence
        |
        +--techniques.FOL.Connective

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Conjunction, Disjunction, Equivalence, Implication

public abstract class Connective

extends Sentence

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

Connective

public Connective(Sentence s1,
                  Sentence s2)

clone

public java.lang.Object clone()

Description copied from class: Sentence

cloning returns a deep copy of a sentence.

Overrides:

clone in class Sentence