Serialized Form

Package de.uni_tuebingen.sfb.lichtenstein.formulas

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

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

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

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

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

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

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.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

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

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

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

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

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

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

Serialized Fields

name

String name

The number of this variable.