Uses of Class
de.uni_tuebingen.sfb.lichtenstein.formulas.Variable

Uses of Variable in de.uni_tuebingen.sfb.lichtenstein.formulas

Subclasses of Variable in de.uni_tuebingen.sfb.lichtenstein.formulas

class	FirstOrderVariable A class representing first order variables in the monadic second order logic.
class	Predicate A class representing a predicate.
class	SecondOrderVariable A class representing second order variables in the monadic second order logic.
class	SetDenotator An abstract superclass for second order variables and predicates, both denotating sets of nodes.

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return Variable

Variable	Quantification.getBoundVariable() Returns the variable that is bound by this quantor.
Variable	ImmediateDominance.getVariableAt(int index) Get the indexth variable (free or bound).
Variable	FirstOrderEquality.getVariableAt(int index) Get the indexth variable (free or bound).
Variable	Inclusion.getVariableAt(int index) Get the indexth variable (free or bound).
Variable	Subset.getVariableAt(int index) Get the indexth variable (free or bound).
Variable	SecondOrderQuantor.getVariableAt(int index) Get the indexth variable.
Variable	ProperDominance.getVariableAt(int index) Get the indexth variable (free or bound).
Variable	UnaryJunctor.getVariableAt(int index) Get the indexth variable (free or bound).
Variable	FirstOrderQuantor.getVariableAt(int index) Get the indexth variable.
Variable	Formula.getVariableAt(int index) Get the indexth variable.
Variable	SecondOrderEquality.getVariableAt(int index) Get the indexth variable (free or bound).
Variable	Precedence.getVariableAt(int index) Get the indexth variable.
Variable	Dominance.getVariableAt(int index) Get the indexth variable (free or bound).
Variable	NaryJunctor.getVariableAt(int index) Get the indexth variable.
Variable	BinaryJunctor.getVariableAt(int index) Get the indexth variable.

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas that return types with arguments of type Variable

Class<? extends Variable>	FormulaTemplate.getDummyClass(int index) Returns the class of the indexth dummy variable.
Set<Variable>	FormulaImpl.getFreeVariables() Return the free variables in this formula.
Set<Variable>	Formula.getFreeVariables() Return the free variables in this formula.
Set<Variable>	FormulaImpl.getVariables() Return the variables in this formula.
Set<Variable>	Formula.getVariables() Return the variables in this formula.

Methods in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type Variable

boolean	ImmediateDominance.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	FirstOrderEquality.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	Inclusion.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	Subset.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	SecondOrderQuantor.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	ProperDominance.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	UnaryJunctor.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	FirstOrderQuantor.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	Formula.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	SecondOrderEquality.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	Precedence.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	Dominance.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	NaryJunctor.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	BinaryJunctor.containsVariable(Variable var) Returns whether this formula contains the given variable.
int	ImmediateDominance.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	FirstOrderEquality.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	Inclusion.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	Subset.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	SecondOrderQuantor.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	ProperDominance.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	UnaryJunctor.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	FirstOrderQuantor.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	Formula.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	SecondOrderEquality.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	Precedence.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	Dominance.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	NaryJunctor.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
int	BinaryJunctor.getFirstIndexOf(Variable var) Get the first index at which the given variable occurs.
Formula	FormulaTemplate.getFormula(Variable... inputVariables) 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.
boolean	AtomicFormula.isFreeVariable(Variable variable) Check whether the given variable is free in this formula.
boolean	SecondOrderQuantor.isFreeVariable(Variable variable) Check whether the given variable is free in this formula.
boolean	UnaryJunctor.isFreeVariable(Variable variable) Check whether the given variable is free in this formula.
boolean	FirstOrderQuantor.isFreeVariable(Variable variable) Check whether the given variable is free in this formula.
boolean	Formula.isFreeVariable(Variable variable) Check whether the given variable is free in this formula.
boolean	NaryJunctor.isFreeVariable(Variable variable) Check whether the given variable is free in this formula.
boolean	BinaryJunctor.isFreeVariable(Variable variable) Check whether the given variable is free in this formula.

Constructors in de.uni_tuebingen.sfb.lichtenstein.formulas with parameters of type Variable

FormulaTemplate(Formula template, Variable... dummies)
Initialize a new formula template, based on a formula and a list of dummy variables that appear in the formula.