compiler/hu.bme.mit.semantifyr.compiler.pipeline.optimization.patterns.expression

Package-level declarations

Types

ArithmeticIdentityPattern

class ArithmeticIdentityPattern : OptimizationPattern

BubbleNotAGPattern

class BubbleNotAGPattern : OptimizationPattern

BubbleNotEFPattern

class BubbleNotEFPattern : OptimizationPattern

ConstantFalseAndPattern

class ConstantFalseAndPattern : OptimizationPattern

ConstantFoldingPattern

class ConstantFoldingPattern(evaluator: ConstantExpressionEvaluatorProvider, transformer: ConstantExpressionEvaluationTransformer) : OptimizationPattern

ConstantTrueOrPattern

class ConstantTrueOrPattern : OptimizationPattern

DeMorganPattern

class DeMorganPattern : OptimizationPattern

DoubleNegationPattern

class DoubleNegationPattern : OptimizationPattern

DoubleUnaryMinusPattern

class DoubleUnaryMinusPattern : OptimizationPattern

ExpressionSimplificationPatterns

class ExpressionSimplificationPatterns(evaluator: ConstantExpressionEvaluatorProvider, metaEvaluatorProvider: MetaConstantExpressionEvaluatorProvider, multiplicityRangeEvaluator: MultiplicityRangeEvaluator, transformer: ConstantExpressionEvaluationTransformer) : CompositeOptimizationPattern

FeatureTypedNothingComparisonPattern

class FeatureTypedNothingComparisonPattern(metaEvaluatorProvider: MetaConstantExpressionEvaluatorProvider, multiplicityRangeEvaluator: MultiplicityRangeEvaluator) : OptimizationPattern

IdempotentBooleanPattern

class IdempotentBooleanPattern : OptimizationPattern

IfThenElseConstantGuardPattern

class IfThenElseConstantGuardPattern : OptimizationPattern

IfThenElseIdenticalBranchesPattern

class IfThenElseIdenticalBranchesPattern : OptimizationPattern

NegatedComparisonPattern

class NegatedComparisonPattern : OptimizationPattern

NegationNormalizationPatterns

class NegationNormalizationPatterns : CompositeOptimizationPattern

RedundantAndPattern

class RedundantAndPattern : OptimizationPattern

RedundantOrPattern

class RedundantOrPattern : OptimizationPattern

SelfArithmeticPattern

class SelfArithmeticPattern : OptimizationPattern

SelfComparisonPattern

class SelfComparisonPattern : OptimizationPattern

Functions

asIntegerValueOrNull

fun Expression.asIntegerValueOrNull(): Int?