Files

conjure_core

ast

atom.rs comprehension.rs declaration.rs domains.rs expressions.rs literals.rs matrix.rs mod.rs model.rs name.rs pretty.rs records.rs serde.rs submodel.rs symbol_table.rs types.rs variables.rs

parse

example_models.rs mod.rs parse_model.rs

rule_engine

mod.rs resolve_rules.rs rewrite_naive.rs rewriter_common.rs rule.rs rule_set.rs submodel_zipper.rs

solver

adaptors

minion

adaptor.rs mod.rs parse_model.rs

rustsat

adaptor.rs convs.rs mod.rs

mod.rs model_modifier.rs private.rs states.rs

stats

mod.rs rewriter_stats.rs solver_stats.rs

bug.rs context.rs error.rs lib.rs metadata.rs representation.rs

conjure_essence_macros

expand.rs expression.rs lib.rs

conjure_essence_parser

parser

domain.rs expression.rs find.rs letting.rs mod.rs parse_exprs.rs parse_model.rs traversal.rs util.rs

errors.rs lib.rs parser_legacy.rs

conjure_oxide

unstable

utils

conjure.rs json.rs misc.rs mod.rs testing.rs

defaults.rs find_conjure.rs lib.rs

conjure_rule_macros

enum_compatability_macro

minion_rs

ast.rs error.rs ffi.rs lib.rs run.rs scoped_ptr.rs wrappers.rs

conjure_oxide/
defaults.rs

Settings

Help

1pub static DEFAULT_RULE_SETS: &[&str] = &["Base", "Constant", "Bubble"];