Class PathAnalysis.PathConditionWalkAction
- java.lang.Object
-
- ru.ispras.microtesk.translator.mir.util.PathAnalysis.PathConditionWalkAction
-
- Enclosing class:
- PathAnalysis
public abstract static class PathAnalysis.PathConditionWalkAction extends java.lang.Object
An abstract class to construct and process path conditions of the given condition graph.
-
-
Constructor Summary
Constructors Constructor Description PathConditionWalkAction()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description protected abstract void
accept(java.util.List<Operand> positive, java.util.List<Operand> negative)
Process a single path condition represented by boolean assignment.
-