Serialized Form

Package de.uni_tuebingen.sfb.lichtenstein.binarytrees

Class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree extends Object implements Serializable

serialVersionUID: -1730696770199984961L

Serialized Fields

root

BinaryTree.BinaryNode root

The root of this binary tree.

Invariant:

The root may not be null. | root != null

id

String id

The id of this tree.

sentence

String sentence

The sentence this tree represents.

Class de.uni_tuebingen.sfb.lichtenstein.binarytrees.BinaryTree.BinaryNode extends Object implements Serializable

serialVersionUID: 4190022109244485267L

Serialized Fields

first

BinaryTree.BinaryNode first

The first daughter of this node.

second

BinaryTree.BinaryNode second

The second daughter of this node.

labels

List<E> labels

The labels of the node.

Package de.uni_tuebingen.sfb.lichtenstein.exceptions

Class de.uni_tuebingen.sfb.lichtenstein.exceptions.FormatException extends Exception implements Serializable

serialVersionUID: -1206817450749303410L

Class de.uni_tuebingen.sfb.lichtenstein.exceptions.FunctionArgumentsMismatchException extends Exception implements Serializable

serialVersionUID: -4307014490215707520L

Serialized Fields

arguments

List<E> arguments

A list for storing the arguments that caused the error.

Class de.uni_tuebingen.sfb.lichtenstein.exceptions.LispFormulaParseException extends ParseException implements Serializable

serialVersionUID: 4077041001080981238L

Serialized Fields

form

String form

The formula that caused the exception.

Class de.uni_tuebingen.sfb.lichtenstein.exceptions.SubformulaIndexOutOfBoundsException extends IndexOutOfBoundsException implements Serializable

serialVersionUID: -2913975308305176240L

Class de.uni_tuebingen.sfb.lichtenstein.exceptions.VariableIndexOutOfBoundsException extends IndexOutOfBoundsException implements Serializable

serialVersionUID: -2303203398796891587L

Class de.uni_tuebingen.sfb.lichtenstein.exceptions.VariableReplacementException extends VisitorException implements Serializable

serialVersionUID: -2814183976929040599L

Class de.uni_tuebingen.sfb.lichtenstein.exceptions.VisitorException extends Exception implements Serializable

serialVersionUID: -3551725751323388409L

Package de.uni_tuebingen.sfb.lichtenstein.formulas

Class de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula extends FormulaImpl implements Serializable

serialVersionUID: 7314564167853954175L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor extends ComposedFormula implements Serializable

serialVersionUID: 3379332560435836770L

Serialized Fields

firstArgument

Formula firstArgument

A variable for keeping track of the arguments.

secondArgument

Formula secondArgument

A variable for keeping track of the arguments.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula extends FormulaImpl implements Serializable

serialVersionUID: -931734485130840422L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Conjunction extends NaryJunctor implements Serializable

serialVersionUID: 4912511120012213055L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Disjunction extends NaryJunctor implements Serializable

serialVersionUID: 4376599658136778665L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance extends AtomicFormula implements Serializable

serialVersionUID: 1540829586438932277L

Serialized Fields

dominatingVariable

FirstOrderVariable dominatingVariable

A variable referencing the variable which is dominating the other.

dominatedVariable

FirstOrderVariable dominatedVariable

A variable referencing the variable which contains the other.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence extends BinaryJunctor implements Serializable

serialVersionUID: 2573337155645848776L

Serialized Fields

equivalentFormula

Conjunction equivalentFormula

A variable representing the internal representation of this equivalence, as a conjunction of implications.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality extends AtomicFormula implements Serializable

serialVersionUID: -9169550245244823242L

Serialized Fields

firstVariable

FirstOrderVariable firstVariable

The first equal variable.

secondVariable

FirstOrderVariable secondVariable

The second equal variable.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderExistentialQuantification extends FirstOrderQuantor implements Serializable

serialVersionUID: -1478290362074251508L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor extends ComposedFormula implements Serializable

serialVersionUID: -1925587271986245981L

Serialized Fields

boundVariable

FirstOrderVariable boundVariable

The variable this quantor binds.

argument

Formula argument

The formula which this quantor acts on.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderUniversalQuantification extends FirstOrderQuantor implements Serializable

serialVersionUID: 4763061997311196442L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderVariable extends Variable implements Serializable

serialVersionUID: -6957388990994668892L

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

If there is already a variable with the name of the deserialized object, return that variable, otherwise register this variable with the class.

Throws:

ObjectStreamException - [CAN]

Class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl extends Object implements Serializable

serialVersionUID: -1171200185737816961L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance extends AtomicFormula implements Serializable

serialVersionUID: -1086911871324746598L

Serialized Fields

dominatingVariable

FirstOrderVariable dominatingVariable

A variable referencing the variable which is dominating the other.

dominatedVariable

FirstOrderVariable dominatedVariable

A variable referencing the variable which contains the other.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediatePrecedence extends AtomicFormula implements Serializable

serialVersionUID: 2339844637010309281L

Serialized Fields

precedingVariable

FirstOrderVariable precedingVariable

A variable referencing the variable which is preceding the other.

precededVariable

FirstOrderVariable precededVariable

A variable referencing the variable which contains the other.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication extends BinaryJunctor implements Serializable

serialVersionUID: -6930372780408287712L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion extends AtomicFormula implements Serializable

serialVersionUID: 4554450836137484231L

Serialized Fields

includedVariable

FirstOrderVariable includedVariable

A variable referencing the variable which is included in the other.

containingVariable

SetDenotator containingVariable

A variable referencing the variable which contains the other.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor extends ComposedFormula implements Serializable

serialVersionUID: 2326419583148409775L

Serialized Fields

arguments

Formula[] arguments

A variable for keeping track of the arguments.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation extends UnaryJunctor implements Serializable

serialVersionUID: 4155989789650755361L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence extends AtomicFormula implements Serializable

serialVersionUID: 5655327294018876153L

Serialized Fields

precedingVariable

FirstOrderVariable precedingVariable

A variable referencing the variable which is preceding the other.

precededVariable

FirstOrderVariable precededVariable

A variable referencing the variable which contains the other.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Predicate extends SetDenotator implements Serializable

serialVersionUID: 7601583152820217442L

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

If there is already a predicate with the name of the deserialized object, return that predicate, otherwise register this predicate with the class.

Throws:

ObjectStreamException - [CAN]

Class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance extends AtomicFormula implements Serializable

serialVersionUID: -1086911871324746598L

Serialized Fields

dominatingVariable

FirstOrderVariable dominatingVariable

A variable referencing the variable which is dominating the other.

dominatedVariable

FirstOrderVariable dominatedVariable

A variable referencing the variable which contains the other.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality extends AtomicFormula implements Serializable

serialVersionUID: 6357000162347596007L

Serialized Fields

firstVariable

SetDenotator firstVariable

The first equal variable.

secondVariable

SetDenotator secondVariable

The second equal variable.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderExistentialQuantification extends SecondOrderQuantor implements Serializable

serialVersionUID: -1098218181163753757L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor extends ComposedFormula implements Serializable

serialVersionUID: -1001175255714689591L

Serialized Fields

boundVariable

SecondOrderVariable boundVariable

The variable this quantor binds.

argument

Formula argument

The formula which this quantor acts on.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderUniversalQuantification extends SecondOrderQuantor implements Serializable

serialVersionUID: 5959460331579375319L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderVariable extends SetDenotator implements Serializable

serialVersionUID: 5618707625000761315L

Serialization Methods

readResolve

private Object readResolve()
                    throws ObjectStreamException

If there is already a variable with the name of the deserialized object, return that variable, otherwise register this variable with the class.

Throws:

ObjectStreamException - [CAN]

Class de.uni_tuebingen.sfb.lichtenstein.formulas.SetDenotator extends Variable implements Serializable

serialVersionUID: 4581886026851255819L

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset extends AtomicFormula implements Serializable

serialVersionUID: -2081257651746860566L

Serialized Fields

subVar

SetDenotator subVar

The variable which is subset of the other.

superVar

SetDenotator superVar

The variable which is superset of the other.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor extends ComposedFormula implements Serializable

serialVersionUID: 1129018689509616606L

Serialized Fields

argument

Formula argument

A variable for keeping track of the argument.

Class de.uni_tuebingen.sfb.lichtenstein.formulas.Variable extends Object implements Serializable

serialVersionUID: 2447640431398273341L

Serialized Fields

name

String name

The name of this variable.

Package de.uni_tuebingen.sfb.lichtenstein.UI

Class de.uni_tuebingen.sfb.lichtenstein.UI.FormulaTransferHandler extends TransferHandler implements Serializable

serialVersionUID: 4382734030287436893L

Serialized Fields

localFormulaFlavor

DataFlavor localFormulaFlavor

The data flavor for formulas local to the JVM.

transferedFormulas

Formula[] transferedFormulas

The formulas being transfered.

indicesToRemove

int[] indicesToRemove

The indices of the formulas being transfered that have to be removed at the end.