Package com.tonic.analysis.simulation.query

Queries over a simulation result.

Class Summary

Class	Description
PathQuery	Reachability and path-enumeration queries over the control flow graph a simulation covered.
ValueFlowQuery	Def-use query over the values observed by a simulation run.