A B C D E F G H I L N O P Q S T U V

G

getAllSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula

Returns a list containing all subformulas of this formula.

getAntecedent() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication

Return the antecedent of this implication.

getArgument() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Returns the formula this quantor acts on.

getArgument(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Get the indexth argument.

getArgument() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification

Returns the formula this quantor acts on.

getArgument() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Returns the formula this quantor acts on.

getArgument() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Returns the argument.

getBoundVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Returns the variable that is bound by this quantor.

getBoundVariable() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Quantification

Returns the variable that is bound by this quantor.

getBoundVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Returns the variable that is bound by this quantor.

getConsequent() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication

Return the consequent of this implication.

getContainingVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Returns the containing variable.

getDominatedVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Returns the dominated variable.

getDominatedVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Returns the dominated variable.

getDominatedVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Returns the dominated variable.

getDominatingVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Returns the dominating variable.

getDominatingVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Returns the dominating variable.

getDominatingVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Returns the dominating variable.

getDummyClass(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Returns the class of the indexth dummy variable.

getEquivalentFormula() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence

Returns a formula which is equivalent to this equivalence: (first -> second) & (second -> first).

getFirstArgument() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Returns the first argument.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Get the first index at which the given variable occurs.

getFirstIndexOf(Variable) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Get the first index at which the given variable occurs.

getFirstVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Returns the first variable.

getFirstVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Returns the first variable.

getFormula(Variable...) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Return the formula that results from replacing the free variables which were supplied during the creation of this template by the variables supplied as arguments to this method.

getFreeVariables() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Return the free variables in this formula.

getFreeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl

Return the free variables in this formula.

getIncludedVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Returns the included variable.

getLabel() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Predicate

Get the label of this predicate.

getName() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Variable

Get the name.

getNbArguments() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Return the number of arguments.

getNbBoundVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula

Returns the number of bound variables in this formula.

getNbBoundVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Returns the number of bound variables in this binary junctor.

getNbBoundVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Returns the number of bound variables in this formula.

getNbBoundVariables() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Returns the number of bound variables in this formula.

getNbBoundVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Returns the number of bound variables in this formula.

getNbBoundVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Returns the number of bound variables in this formula.

getNbBoundVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Returns the number of bound variables in this formula.

getNbDummies() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Returns the number of variables that has to be supplied to this template to create a formula.

getNbFreeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula

Returns the number of free variables in this formula.

getNbFreeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Returns the number of free variables in this binary junctor.

getNbFreeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Returns the number of free variables in this formula.

getNbFreeVariables() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Returns the number of free variables in this formula.

getNbFreeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Returns the number of free variables in this formula.

getNbFreeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Returns the number of free variables in this formula.

getNbFreeVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Returns the number of free variables in this formula.

getNbSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Returns the number of direct subformulas.

getNbSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula

Returns the number of subformulas of this formula.

getNbSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Returns the number of subformulas of this formula.

getNbSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Returns the number of subformulas of this formula.

getNbSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Returns the number of subformulas of this formula.

getNbSubformulas() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Returns the number of subformulas.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Returns the number of variables in this binary junctor.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Returns the number of variables in this formula.

getNbVariables() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Returns the number of variables in this formula.

getNbVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Returns the number of variables in this formula.

getNegatedFormula() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation

Returns the negated formula.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.AtomicFormula

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Conjunction

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Disjunction

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderExistentialQuantification

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderUniversalQuantification

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderExistentialQuantification

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getNormalForm() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderUniversalQuantification

Get a normal form with only conjunction, disjunction, negation and existential quantification.

getPrecededVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Returns the preceded variable.

getPrecedingVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Returns the preceding variable.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Return all predicates that occur in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Return all predicates in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Return all predicates in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Return all predicates that occur in this formula.

getPredicates() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Return all predicates that occur in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Return all predicates that occur in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Return all predicates in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Return all predicates that occur in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Return all predicates in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Return all predicates in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Return all predicates in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Return all predicates that occur in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Return all predicates in this formula.

getPredicates() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Return all predicates in this formula.

getSecondArgument() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Returns the second argument.

getSecondVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Returns the second variable.

getSecondVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Returns the second variable.

getSubformulaAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Returns the subformulas this binary junction is built up of.

getSubformulaAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula

Returns the indexth subformula of this formula.

getSubformulaAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Returns the indexth subformula of this formula.

getSubformulaAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Returns the indexth subformula of this formula.

getSubformulaAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Returns the indexth subformula of this formula.

getSubformulaAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Returns the indexth subformula of this formula.

getSubsetVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Returns the subset variable.

getSupersetVariable() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Returns the superset variable.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ComposedFormula

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Conjunction

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Disjunction

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Equivalence

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderExistentialQuantification

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderUniversalQuantification

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Implication

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Negation

Return the textual representation of this unary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderExistentialQuantification

Return the textual representation of this binary junctor.

getSymbol() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderUniversalQuantification

Return the textual representation of this binary junctor.

getTemplateFormula() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaTemplate

Return the formula that serves as a template.

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.BinaryJunctor

Get the indexth variable.

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Dominance

Get the indexth variable (free or bound).

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderEquality

Get the indexth variable (free or bound).

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FirstOrderQuantor

Get the indexth variable.

getVariableAt(int) - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Get the indexth variable.

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ImmediateDominance

Get the indexth variable (free or bound).

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Inclusion

Get the indexth variable (free or bound).

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.NaryJunctor

Get the indexth variable.

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Precedence

Get the indexth variable.

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.ProperDominance

Get the indexth variable (free or bound).

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderEquality

Get the indexth variable (free or bound).

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderQuantor

Get the indexth variable.

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.Subset

Get the indexth variable (free or bound).

getVariableAt(int) - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.UnaryJunctor

Get the indexth variable (free or bound).

getVariables() - Method in interface de.uni_tuebingen.sfb.lichtenstein.formulas.Formula

Return the variables in this formula.

getVariables() - Method in class de.uni_tuebingen.sfb.lichtenstein.formulas.FormulaImpl

Return the variables in this formula.