net.sf.bddbddb.ir.dynamic
Classes
BooleanAssign
DynamicInterpreter
DynamicOperation
DynamicOperationVisitor
IRBoolean
If
Nop