ru.ispras.microtesk.mmu.translator.generation.spec
Classes
Atom
AtomExtractor
Condition
ExprTransformer
MemoryControlFlowExplorer
SpecGenerator
StbConstant
StbExtern
StbOperation
Utils
Enums
Atom.Kind
Condition.Type