conjure_oxide

Module rule_engine

Source

Modules§

Macros§

  • register_rule_set
    Register a rule set with the given name, priority, and dependencies.Example

Structs§

  • Reduction
    Represents the result of applying a rule to an expression within a model.
  • Rule
    A rule with a name, application function, and rule sets.
  • RuleSet
    A structure representing a set of rules with a name, priority, and dependencies.

Enums§

Functions§

  • get_rule_by_name
    Get a rule by name. Returns the rule with the given name or None if it doesn’t exist.
  • get_rule_priorities
    Convert a list of rule sets into a final map of rules to their priorities.
  • get_rule_set_by_name
    Get a rule set by name. Returns the rule set with the given name or None if it doesn’t exist.
  • get_rule_sets
    Get all rule sets Returns a Vec of static references to all rule sets registered with the register_rule_set macro. Rule sets are not guaranteed to be in any particular order.
  • get_rule_sets_for_solver_family
    Get all rule sets for a given solver family. Returns a Vec of static references to all rule sets that are applicable to the given solver family.
  • get_rules
    Returns a copied Vec of all rules registered with the register_rule macro.
  • get_rules_vec
    Get a final ordering of rules based on their priorities and names.
  • resolve_rule_sets
    Resolves the final set of rule sets to apply based on target solver and extra rule set names.
  • rewrite_model
    Rewrites the given model by applying a set of rules to all its constraints.

Type Aliases§

  • ApplicationResult
    The result of applying a rule to an expression. Contains either a set of reduction instructions or an error.

Attribute Macros§