Class SmtLib
- java.lang.Object
-
- ru.ispras.microtesk.translator.mir.util.SmtLib
-
public final class SmtLib extends java.lang.Object
Contains utilties for translation to SMT-Lib.
-
-
Constructor Summary
Constructors Constructor Description SmtLib()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ru.ispras.fortress.data.types.UnionType
declareStateSort(Ir ir, java.lang.String sortName)
-
-
-
Method Detail
-
declareStateSort
public ru.ispras.fortress.data.types.UnionType declareStateSort(Ir ir, java.lang.String sortName)
-
-