| 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.simplifyIfAtleastOneConstant(ASTAggregatedCondition aggCond) |
Copyright © 2020 Soot OSS. All rights reserved.