Uses of Class
org.evosuite.symbolic.expr.Constraint

Packages that use Constraint

Package	Description
org.evosuite.symbolic
org.evosuite.symbolic.expr
org.evosuite.symbolic.solver
org.evosuite.symbolic.solver.avm
org.evosuite.symbolic.solver.cvc4
org.evosuite.symbolic.solver.z3
org.evosuite.symbolic.solver.z3str2
org.evosuite.symbolic.vm

Uses of Constraint in org.evosuite.symbolic

Methods in org.evosuite.symbolic that return Constraint

Modifier and Type	Method and Description
Constraint<?>	BranchCondition.getConstraint() Returns the constraint for actual branch.

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

Modifier and Type	Method and Description
List<Constraint<?>>	PathCondition.getConstraints() Returns the constraints for this path condition
List<Constraint<?>>	BranchCondition.getSupportingConstraints() Returns a list of implicit constraints (nullity checks, zero division, index within bounds, negative size array length, etc.) collected before the current branch condtion and after the last symbolic branch condition

Method parameters in org.evosuite.symbolic with type arguments of type Constraint

Modifier and Type	Method and Description
void	DSEStats.reportNewConstraints(Collection<Constraint<?>> constraints)

Constructors in org.evosuite.symbolic with parameters of type Constraint

Constructor and Description
BranchCondition(String className, String methodName, int branchIndex, Constraint<?> constraint, List<Constraint<?>> supportingConstraints) A branch condition is identified by the className, methodName and branchIndex belonging to the class in the SUT, the target constraint and all the suporting constraint for that particular branch (zero checks, etc)

Constructor parameters in org.evosuite.symbolic with type arguments of type Constraint

Constructor and Description
BranchCondition(String className, String methodName, int branchIndex, Constraint<?> constraint, List<Constraint<?>> supportingConstraints) A branch condition is identified by the className, methodName and branchIndex belonging to the class in the SUT, the target constraint and all the suporting constraint for that particular branch (zero checks, etc)

Uses of Constraint in org.evosuite.symbolic.expr

Subclasses of Constraint in org.evosuite.symbolic.expr

Modifier and Type	Class and Description
class	IntegerConstraint
class	RealConstraint
class	StringConstraint

Methods in org.evosuite.symbolic.expr that return Constraint

Modifier and Type	Method and Description
Constraint<String>	StringConstraint.negate()
Constraint<Double>	RealConstraint.negate()
Constraint<Long>	IntegerConstraint.negate()
abstract Constraint<T>	Constraint.negate()

Uses of Constraint in org.evosuite.symbolic.solver

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

Modifier and Type	Method and Description
protected static boolean	Solver.checkSAT(Collection<Constraint<?>> constraints, SolverResult satResult)
static double	DistanceEstimator.getDistance(Collection<Constraint<?>> constraints) getDistance
protected static Set<Variable<?>>	Solver.getVariables(Collection<Constraint<?>> constraints) Creates a set with all the variables in the constraints.
abstract SolverResult	Solver.solve(Collection<Constraint<?>> constraints)
SolverResult	SolverCache.solve(Solver solver, Collection<Constraint<?>> constraints)

Uses of Constraint in org.evosuite.symbolic.solver.avm

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

Modifier and Type	Method and Description
SolverResult	EvoSuiteSolver.solve(Collection<Constraint<?>> constraints)

Uses of Constraint in org.evosuite.symbolic.solver.cvc4

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

Modifier and Type	Method and Description
SolverResult	CVC4Solver.solve(Collection<Constraint<?>> constraints)

Uses of Constraint in org.evosuite.symbolic.solver.z3

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

Modifier and Type	Method and Description
SolverResult	Z3Solver.solve(Collection<Constraint<?>> constraints)

Uses of Constraint in org.evosuite.symbolic.solver.z3str2

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

Modifier and Type	Method and Description
SolverResult	Z3Str2Solver.solve(Collection<Constraint<?>> constraints)

Uses of Constraint in org.evosuite.symbolic.vm

Methods in org.evosuite.symbolic.vm that return Constraint

Modifier and Type	Method and Description
static Constraint<?>	ConstraintNormalizer.normalize(IntegerConstraint c) Transforms an IntegerConstraint into a corresponding StringConstraint, RealConstraint or IntegerConstraint.