Package ru.ispras.fortress.transformer
-
Interface Summary Interface Description NodeProvider TransformerRule TheTransformerRule
is an interface to be implemented by all rules being used inNodeTransformer
.ValueProvider ValueProvider
class provides variable values to be used for expression reduction.VariableProvider -
Class Summary Class Description CompositeRule Aggregate of rules to be used inNodeTransformer
when multiple rules per operation required.IntToBitVecRuleSet NodeTransformer NodeTransformer
is an expression tree visitor with bottom-up substitution policy.Reducer Reducer
provides methods to reduce expressions to a value.Transformer TheTransformer
class contains static methods for common expression transformations.TypeConversion -
Enum Summary Enum Description ReduceOptions Describes flags that affect the behavior of the expression reduction logic.TypeConversion.ConstCast Constant operands casting types.