Package | Description |
---|---|
soot.dava.internal.AST | |
soot.dava.toolkits.base.AST.transformations |
Modifier and Type | Class and Description |
---|---|
class |
ASTAndCondition |
class |
ASTOrCondition |
Modifier and Type | Method and Description |
---|---|
ASTCondition |
SimplifyConditions.applyDeMorgans(ASTAggregatedCondition aggCond) |
ASTCondition |
SimplifyConditions.applyDeMorgans(ASTAggregatedCondition aggCond) |
ASTCondition |
SimplifyConditions.simplifyIfAtleastOneConstant(ASTAggregatedCondition aggCond) |
ASTCondition |
SimplifyConditions.simplifyIfAtleastOneConstant(ASTAggregatedCondition aggCond) |