Crate conjure_oxide

Modules§

ast
defaults
find_conjure
rule_engine
rules
This module contains the rewrite rules for Conjure Oxides and it’s solvers.
solver
A high-level API for interacting with constraints solvers.
utils

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

Metadata
Model
Represents a computational model containing variables, constraints, and a shared context.
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.

get_example_model
Searches recursively in ../tests/integration folder for an .essence file matching the given filename, then uses conjure to process it into astjson, and returns the parsed model.
get_example_model_by_path
Searches for an .essence file at the given filepath, then uses conjure to process it into astjson, and returns the parsed model.
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_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.
model_from_json

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