Uses of Interface
org.evosuite.symbolic.expr.Variable

Packages that use Variable

Package	Description
org.evosuite.symbolic.expr
org.evosuite.symbolic.expr.bv
org.evosuite.symbolic.expr.fp
org.evosuite.symbolic.expr.reader
org.evosuite.symbolic.expr.ref
org.evosuite.symbolic.expr.str
org.evosuite.symbolic.expr.token
org.evosuite.symbolic.solver
org.evosuite.testcase.localsearch

Uses of Variable in org.evosuite.symbolic.expr

Methods in org.evosuite.symbolic.expr that return types with arguments of type Variable

Modifier and Type	Method and Description
Set<Variable<?>>	Expression.getVariables()
Set<Variable<?>>	Constraint.getVariables()

Uses of Variable in org.evosuite.symbolic.expr.bv

Classes in org.evosuite.symbolic.expr.bv that implement Variable

Modifier and Type	Class and Description
class	IntegerVariable

Methods in org.evosuite.symbolic.expr.bv that return types with arguments of type Variable

Modifier and Type	Method and Description
Set<Variable<?>>	StringUnaryToIntegerExpression.getVariables()
Set<Variable<?>>	StringToIntegerCast.getVariables()
Set<Variable<?>>	StringMultipleToIntegerExpression.getVariables()
Set<Variable<?>>	StringMultipleComparison.getVariables()
Set<Variable<?>>	StringBinaryToIntegerExpression.getVariables()
Set<Variable<?>>	StringBinaryComparison.getVariables()
Set<Variable<?>>	RealUnaryToIntegerExpression.getVariables()
Set<Variable<?>>	RealToIntegerCast.getVariables()
Set<Variable<?>>	RealComparison.getVariables()
Set<Variable<?>>	IntegerVariable.getVariables()
Set<Variable<?>>	IntegerUnaryExpression.getVariables()
Set<Variable<?>>	IntegerConstant.getVariables()
Set<Variable<?>>	IntegerComparison.getVariables()
Set<Variable<?>>	IntegerBinaryExpression.getVariables()

Uses of Variable in org.evosuite.symbolic.expr.fp

Classes in org.evosuite.symbolic.expr.fp that implement Variable

Modifier and Type	Class and Description
class	RealVariable

Methods in org.evosuite.symbolic.expr.fp that return types with arguments of type Variable

Modifier and Type	Method and Description
Set<Variable<?>>	RealVariable.getVariables()
Set<Variable<?>>	RealUnaryExpression.getVariables()
Set<Variable<?>>	RealConstant.getVariables()
Set<Variable<?>>	RealBinaryExpression.getVariables()
Set<Variable<?>>	IntegerToRealCast.getVariables()

Uses of Variable in org.evosuite.symbolic.expr.reader

Methods in org.evosuite.symbolic.expr.reader that return types with arguments of type Variable

Modifier and Type	Method and Description
Set<Variable<?>>	StringReaderExpr.getVariables()

Uses of Variable in org.evosuite.symbolic.expr.ref

Classes in org.evosuite.symbolic.expr.ref that implement Variable

Modifier and Type	Class and Description
class	ReferenceVariable Represents a symbolic reference (for example, a pointer that we have declared as symbolic) at the test case level.

Methods in org.evosuite.symbolic.expr.ref that return types with arguments of type Variable

Modifier and Type	Method and Description
Set<Variable<?>>	ReferenceVariable.getVariables() Returns a the set {this}
Set<Variable<?>>	ReferenceConstant.getVariables()
Set<Variable<?>>	GetFieldExpression.getVariables() Returns the set of all the variables in the receiver expression (the expr in expr.F)

Uses of Variable in org.evosuite.symbolic.expr.str

Classes in org.evosuite.symbolic.expr.str that implement Variable

Modifier and Type	Class and Description
class	StringVariable StringVariable class.

Methods in org.evosuite.symbolic.expr.str that return types with arguments of type Variable

Modifier and Type	Method and Description
Set<Variable<?>>	StringVariable.getVariables()
Set<Variable<?>>	StringUnaryExpression.getVariables()
Set<Variable<?>>	StringMultipleExpression.getVariables()
Set<Variable<?>>	StringConstant.getVariables()
Set<Variable<?>>	StringBinaryExpression.getVariables()
Set<Variable<?>>	RealToStringCast.getVariables()
Set<Variable<?>>	IntegerToStringCast.getVariables()

Uses of Variable in org.evosuite.symbolic.expr.token

Methods in org.evosuite.symbolic.expr.token that return types with arguments of type Variable

Modifier and Type	Method and Description
Set<Variable<?>>	StringNextTokenExpr.getVariables()
Set<Variable<?>>	NextTokenizerExpr.getVariables()
Set<Variable<?>>	NewTokenizerExpr.getVariables()
Set<Variable<?>>	HasMoreTokensExpr.getVariables()

Uses of Variable in org.evosuite.symbolic.solver

Methods in org.evosuite.symbolic.solver that return types with arguments of type Variable

Modifier and Type	Method and Description
protected static Set<Variable<?>>	Solver.getVariables(Collection<Constraint<?>> constraints) Creates a set with all the variables in the constraints.

Method parameters in org.evosuite.symbolic.solver with type arguments of type Variable

Modifier and Type	Method and Description
protected static Map<String,Object>	Solver.getConcreteValues(Set<Variable<?>> variables) Returns a mapping from variables to their current concrete values.
protected static void	Solver.setConcreteValues(Set<Variable<?>> variables, Map<String,Object> concrete_values) Restore all concrete values of the variables using the concrete_values mapping.

Uses of Variable in org.evosuite.testcase.localsearch

Method parameters in org.evosuite.testcase.localsearch with type arguments of type Variable

Modifier and Type	Method and Description
static void	DSETestGenerator.getVariables(Expression<?> expr, Set<Variable<?>> variables) Recursively determine constraints in expression