Uses of Interface
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.PartialStateSpace

Packages that use PartialStateSpace

Package	Description
de.rwth.i2.attestor.phases.symbolicExecution.recursive
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Uses of PartialStateSpace in de.rwth.i2.attestor.phases.symbolicExecution.recursive

Classes in de.rwth.i2.attestor.phases.symbolicExecution.recursive that implement PartialStateSpace

Modifier and Type	Class and Description
class	InternalPartialStateSpace

Uses of PartialStateSpace in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis with parameters of type PartialStateSpace

Modifier and Type	Method and Description
void	InterproceduralAnalysis.registerDependency(ProcedureCall procedureCall, PartialStateSpace dependentPartialStateSpace)