Recognize.Strategy.Strategies

This module defines a set of strategies used within the AdviseMe code. Each strategy is specifically tuned for the exercises wherein they are used. Any changes should be followed by testing the exercises. To generate attributes for newly added rules you have to modify RuleId

Documentation

recognizerStrategy :: IsTerm a => LabeledStrategy (Context a)

Strategy used by the strategy recognizer to recognize rewrites of linear equations

simplifyStrategy :: LabeledStrategy (Context Expr)

Strategy used for simplifying expressions

normalizeStrategy :: LabeledStrategy (Context Expr)

Strategy used for normalizing expressions (equality modulo fraction simplification, distribution and double negation)

fractionStrategy :: IsTerm a => Strategy (Context a)

Strategy used for simplifying of expressions containing fractionals

coverUpPlus :: IsTerm a => Strategy (Context a)

coverUpTimesPositive :: Rule (Relation Expr)