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

Packages that use Variable

de.uni_tuebingen.sfb.lichtenstein.exceptions
de.uni_tuebingen.sfb.lichtenstein.formulas

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

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

FunctionArgumentsMismatchException(Formula formula, Variable variable)
Initialize a new FunctionArgumentsMismatchException with a formula and a variable, indicating the formala does not contain the variable.

FunctionArgumentsMismatchException(Variable[] array1, Variable[] array2)
Initialize a new FunctionArgumentsMismatchException with two arrays of variables, indicating the arrays do not have the same length.

FunctionArgumentsMismatchException(Variable[] array1, Variable[] array2)
Initialize a new FunctionArgumentsMismatchException with two arrays of variables, indicating the arrays do not have the same length.

FunctionArgumentsMismatchException(Variable variable1, Variable variable2)
Initialize a new FunctionArgumentsMismatchException with two variables, indicating the variables are not of the same type.

VariableReplacementException(Variable var1, Variable var2)
Initialize a new VariableReplacementException, indicating one variable could not be replaced by another.

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.

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

protected Set<Variable>	BinaryJunctor.computeVariables() Compute the set of variables in this formula.
protected Set<Variable>	ImmediateDominance.computeVariables() Simply return the two variables.
protected Set<Variable>	Inclusion.computeVariables() Simply return the two variables.
protected abstract Set<Variable>	FormulaImpl.computeVariables() Compute the set of variables in this formula.
protected Set<Variable>	Dominance.computeVariables() Simply return the two variables.
protected Set<Variable>	FirstOrderEquality.computeVariables() Simply return the two variables.
protected Set<Variable>	UnaryJunctor.computeVariables() Compute the set of variables in this formula.
protected Set<Variable>	Subset.computeVariables() Simply return the two variables.
protected Set<Variable>	FirstOrderQuantor.computeVariables() Compute the set of variables in this formula.
protected Set<Variable>	ProperDominance.computeVariables() Simply return the two variables.
protected Set<Variable>	Precedence.computeVariables() Simply return the two variables.
protected Set<Variable>	NaryJunctor.computeVariables() Compute the set of variables in this formula.
protected Set<Variable>	SecondOrderEquality.computeVariables() Simply return the two variables.
protected Set<Variable>	SecondOrderQuantor.computeVariables() Compute the set of variables in this formula.
protected Set<Variable>	ImmediatePrecedence.computeVariables() Simply return the two variables.
Class<? extends Variable>	FormulaTemplate.getDummyClass(int index) Returns the class of the indexth dummy variable.
Set<Variable>	Formula.getFreeVariables() Return the free variables in this formula.
Set<Variable>	FormulaImpl.getFreeVariables() Return the free variables in this formula.
Set<Variable>	FirstOrderQuantor.getFreeVariables() Return the free variables in this formula.
Set<Variable>	SecondOrderQuantor.getFreeVariables() Return the free variables in this formula.
Set<Variable>	Formula.getVariables() Return the variables in this formula.
Set<Variable>	FormulaImpl.getVariables() Return the variables in this formula.

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

boolean	Formula.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	BinaryJunctor.containsVariable(Variable var) Returns whether this formula contains the given variable.
boolean	ImmediateDominance.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	Dominance.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	UnaryJunctor.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	FirstOrderQuantor.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	Precedence.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	SecondOrderEquality.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	ImmediatePrecedence.containsVariable(Variable var) Returns whether this formula contains the given variable.
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.isFree(Variable variable) Check whether the given variable is free in this formula.
boolean	Formula.isFree(Variable variable) Check whether the given variable is free in this formula.
boolean	BinaryJunctor.isFree(Variable variable) Check whether the given variable is free in this formula.
boolean	UnaryJunctor.isFree(Variable variable) Check whether the given variable is free in this formula.
boolean	FirstOrderQuantor.isFree(Variable variable) Check whether the given variable is free in this formula.
boolean	NaryJunctor.isFree(Variable variable) Check whether the given variable is free in this formula.
boolean	SecondOrderQuantor.isFree(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.