Uses of Interface ch.epfl.labos.iu.orm.queryll2.symbolic.BasicSymbolicInterpreter.BranchHandler (Jinq Symbolic Execution Analysis Framework 1.8.24 API)

Packages that use BasicSymbolicInterpreter.BranchHandler
Package	Description
ch.epfl.labos.iu.orm.queryll2.symbolic

Methods in ch.epfl.labos.iu.orm.queryll2.symbolic with parameters of type BasicSymbolicInterpreter.BranchHandler
Modifier and Type	Method and Description
`void`	BasicSymbolicInterpreter.`setBranchHandler(BasicSymbolicInterpreter.BranchHandler branchHandler)`

Uses of Interfacech.epfl.labos.iu.orm.queryll2.symbolic.BasicSymbolicInterpreter.BranchHandler