Uses of Class
crypto.analysis.EnsuredCrySLPredicate

Packages that use EnsuredCrySLPredicate

Package	Description
crypto.analysis
crypto.listener

Uses of EnsuredCrySLPredicate in crypto.analysis

Subclasses of EnsuredCrySLPredicate in crypto.analysis

Modifier and Type	Class	Description
class	HiddenPredicate

Methods in crypto.analysis that return types with arguments of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
Set<EnsuredCrySLPredicate>	PredicateHandler.getExistingPredicates(boomerang.scene.Statement stmt, boomerang.scene.Val seed)

Methods in crypto.analysis with parameters of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
void	AnalysisSeedWithEnsuredPredicate.addEnsuredPredicate(EnsuredCrySLPredicate pred)
void	AnalysisSeedWithSpecification.addEnsuredPredicate(EnsuredCrySLPredicate ensPred)	Add an ensured predicate to the seed and implicitly rerun all constraint and predicate checks
boolean	PredicateHandler.addNewPred(IAnalysisSeed seedObj, boomerang.scene.Statement statement, boomerang.scene.Val variable, EnsuredCrySLPredicate ensPred)

Method parameters in crypto.analysis with type arguments of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
void	AnalysisReporter.ensuredPredicates(com.google.common.collect.Table<boomerang.scene.Statement,boomerang.scene.Val,Set<EnsuredCrySLPredicate>> existingPredicates)

Uses of EnsuredCrySLPredicate in crypto.listener

Method parameters in crypto.listener with type arguments of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
void	IResultsListener.ensuredPredicates(com.google.common.collect.Table<boomerang.scene.Statement,boomerang.scene.Val,Set<EnsuredCrySLPredicate>> existingPredicates)