Package ru.ispras.microtesk.translator.mir.util
-
Class Summary Class Description NmlInstances Contains utilities to construct complete instances of nML primitives.NmlInstances.BinderInfo PathAnalysis Contains utilities to analyse syntactically available paths and construct corresponding path conditions.PathAnalysis.PathConditionWalkAction An abstract class to construct and process path conditions of the given condition graph.SmtLib Contains utilties for translation to SMT-Lib.