Uses of Class
org.evosuite.symbolic.BranchCondition

Packages that use BranchCondition

Package	Description
org.evosuite.symbolic
org.evosuite.symbolic.vm

Uses of BranchCondition in org.evosuite.symbolic

Methods in org.evosuite.symbolic that return BranchCondition

Modifier and Type	Method and Description
BranchCondition	PathCondition.get(int index) Returns the branch condition at position index

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

Modifier and Type	Method and Description
static List<BranchCondition>	ConcolicExecution.executeConcolic(DefaultTestCase defaultTestCase)
List<BranchCondition>	PathCondition.getBranchConditions() Returns the list of branch conditions on this path condition
static List<BranchCondition>	ConcolicExecution.getSymbolicPath(TestChromosome test) Retrieve the path condition for a given test case

Methods in org.evosuite.symbolic with parameters of type BranchCondition

Modifier and Type	Method and Description
static TestCase	ConcolicMutation.negateCondition(List<BranchCondition> pathCondition, BranchCondition targetCondition, TestCase test) Generate new constraint and ask solver for solution

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

Modifier and Type	Method and Description
static TestCase	ConcolicMutation.negateCondition(List<BranchCondition> pathCondition, BranchCondition targetCondition, TestCase test) Generate new constraint and ask solver for solution

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

Constructor and Description
PathCondition(List<BranchCondition> branchConditions) Creates a new path condition from a list of branch conditions

Uses of BranchCondition in org.evosuite.symbolic.vm

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

Modifier and Type	Method and Description
List<BranchCondition>	PathConditionCollector.getPathCondition() Returns the collected list of branch conditions during concolic execution