Package ru.ispras.fortress.transformer
Class IntToBitVecRuleSet
- java.lang.Object
-
- ru.ispras.fortress.transformer.IntToBitVecRuleSet
-
public class IntToBitVecRuleSet extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description IntToBitVecRuleSet()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static NodeTransformer
getRuleSet(java.lang.Integer intBitLength)
-
-
-
Method Detail
-
getRuleSet
public static NodeTransformer getRuleSet(java.lang.Integer intBitLength)
-
-