List of all items
Structs
- Model
- ast::CnfClause
- ast::DecisionVariable
- ast::DeclarationPtr
- ast::FuncAttr
- ast::Metadata
- ast::Model
- ast::Moo
- ast::RecordEntry
- ast::RecordEntryGround
- ast::Reference
- ast::SerdeModel
- ast::SetAttr
- ast::SubModel
- ast::SymbolTable
- ast::comprehension::Comprehension
- ast::comprehension::ComprehensionBuilder
- ast::declaration::DeclarationPtr
- ast::declaration::serde::DeclarationPtrAsId
- ast::declaration::serde::DeclarationPtrFull
- ast::records::RecordValue
- ast::serde::RcRefCellAsId
- ast::serde::RcRefCellAsInner
- context::Context
- parse::tree_sitter::diagnostics::diagnostics_api::Diagnostic
- parse::tree_sitter::diagnostics::diagnostics_api::DocumentSymbol
- parse::tree_sitter::diagnostics::diagnostics_api::Position
- parse::tree_sitter::diagnostics::diagnostics_api::Range
- parse::tree_sitter::parser::traversal::WalkBFS
- parse::tree_sitter::parser::traversal::WalkDFS
- rule_engine::Reduction
- rule_engine::Rule
- rule_engine::RuleData
- rule_engine::RuleSet
- rule_engine::_dependencies::linkme::DistributedSlice
- solver::SolveSuccess
- solver::Solver
- solver::SolverFamilyIter
- solver::adaptors::Minion
- solver::adaptors::Sat
- solver::adaptors::Smt
- solver::adaptors::minion::Minion
- solver::adaptors::rustsat::Sat
- solver::adaptors::smt::IntTheoryIter
- solver::adaptors::smt::MatrixTheoryIter
- solver::adaptors::smt::Smt
- solver::adaptors::smt::TheoryConfig
- solver::model_modifier::NotModifiable
- solver::states::ExecutionFailure
- solver::states::ExecutionSuccess
- solver::states::Init
- solver::states::ModelLoaded
- stats::RewriterStats
- stats::SolverStats
- stats::Stats
Enums
- ast::AbstractLiteral
- ast::Atom
- ast::DeclarationKind
- ast::Domain
- ast::DomainOpError
- ast::Expression
- ast::GroundDomain
- ast::IntVal
- ast::JectivityAttr
- ast::Literal
- ast::Name
- ast::PartialityAttr
- ast::Range
- ast::ReturnType
- ast::UnresolvedDomain
- ast::ac_operators::ACOperatorKind
- ast::categories::Category
- ast::declaration::DeclarationKind
- error::Error
- parse::tree_sitter::EssenceParseError
- parse::tree_sitter::diagnostics::diagnostics_api::Severity
- parse::tree_sitter::diagnostics::diagnostics_api::SymbolKind
- parse::tree_sitter::errors::ConjureParseError
- parse::tree_sitter::errors::EssenceParseError
- rule_engine::ApplicationError
- rule_engine::RewriteError
- solver::SearchComplete
- solver::SearchIncomplete
- solver::SearchStatus
- solver::SolverError
- solver::SolverFamily
- solver::adaptors::smt::IntTheory
- solver::adaptors::smt::MatrixTheory
- solver::model_modifier::ModificationFailure
Traits
- ast::HasDomain
- ast::Typeable
- ast::categories::CategoryOf
- ast::serde::DefaultWithId
- ast::serde::HasId
- representation::Representation
- solver::SolverAdaptor
- solver::model_modifier::ModelModifier
- solver::states::SolverState
Macros
- bug
- domain_int
- domain_int_ground
- error
- essence_expr
- essence_vec
- into_matrix
- into_matrix_expr
- matrix
- matrix_expr
- parse::tree_sitter::child
- parse::tree_sitter::field
- parse::tree_sitter::named_child
- range
- register_representation
- rule_engine::register_rule_set
- throw_error
Attribute Macros
- rule_engine::_dependencies::distributed_slice
- rule_engine::_dependencies::linkme::distributed_slice
- rule_engine::distributed_slice
- rule_engine::register_rule
Functions
- ast::eval::bin_op
- ast::eval::eval_constant
- ast::eval::flat_op
- ast::eval::opt_vec_lit_op
- ast::eval::opt_vec_op
- ast::eval::tern_op
- ast::eval::un_op
- ast::eval::unwrap_expr
- ast::eval::vec_lit_op
- ast::eval::vec_op
- ast::eval_constant
- ast::matrix::enumerate_index_union_indices
- ast::matrix::enumerate_indices
- ast::matrix::flat_index_to_full_index
- ast::matrix::flatten
- ast::matrix::flatten_enumerate
- ast::matrix::index_domains
- ast::matrix::num_elements
- ast::pretty::pretty_clauses
- ast::pretty::pretty_domain_letting_declaration
- ast::pretty::pretty_expressions_as_conjunction
- ast::pretty::pretty_expressions_as_top_level
- ast::pretty::pretty_value_letting_declaration
- ast::pretty::pretty_variable_declaration
- ast::pretty::pretty_vec
- ast::run_partial_evaluator
- parse::conjure_json::get_example_model
- parse::conjure_json::get_example_model_by_path
- parse::conjure_json::model_from_json
- parse::conjure_json::parse_expression
- parse::tree_sitter::diagnostics::diagnostics_api::get_diagnostics
- parse::tree_sitter::diagnostics::error_detection::semantic_errors::detect_semantic_errors
- parse::tree_sitter::diagnostics::error_detection::semantic_errors::error_to_diagnostic
- parse::tree_sitter::diagnostics::error_detection::syntactic_errors::check_diagnostic
- parse::tree_sitter::diagnostics::error_detection::syntactic_errors::detect_syntactic_errors
- parse::tree_sitter::diagnostics::error_detection::syntactic_errors::print_all_error_nodes
- parse::tree_sitter::diagnostics::error_detection::syntactic_errors::print_diagnostics
- parse::tree_sitter::parse_essence
- parse::tree_sitter::parse_essence_file
- parse::tree_sitter::parse_essence_file_native
- parse::tree_sitter::parse_essence_with_context
- parse::tree_sitter::parse_expr
- parse::tree_sitter::parse_exprs
- parse::tree_sitter::parse_literal
- parse::tree_sitter::parser::domain::parse_domain
- parse::tree_sitter::parser::domain::parse_set_domain
- parse::tree_sitter::parser::expression::parse_binary_expression
- parse::tree_sitter::parser::expression::parse_expression
- parse::tree_sitter::parser::find::parse_find_statement
- parse::tree_sitter::parser::letting::parse_letting_statement
- parse::tree_sitter::parser::parse_essence
- parse::tree_sitter::parser::parse_essence_file_native
- parse::tree_sitter::parser::parse_essence_with_context
- parse::tree_sitter::parser::parse_expr
- parse::tree_sitter::parser::parse_exprs
- parse::tree_sitter::parser::parse_exprs::parse_expr
- parse::tree_sitter::parser::parse_exprs::parse_exprs
- parse::tree_sitter::parser::parse_literal
- parse::tree_sitter::parser::parse_literal::parse_literal
- parse::tree_sitter::parser::parse_model::parse_essence
- parse::tree_sitter::parser::parse_model::parse_essence_file_native
- parse::tree_sitter::parser::parse_model::parse_essence_with_context
- parse::tree_sitter::parser::util::get_metavars
- parse::tree_sitter::parser::util::get_tree
- parse::tree_sitter::parser::util::named_children
- parse::tree_sitter::parser::util::node_is_expression
- parse::tree_sitter::parser::util::query_toplevel
- parse::tree_sitter::parser_legacy::parse_essence_file
- representation::get_repr_rule
- rule_engine::get_all_rule_sets
- rule_engine::get_all_rules
- rule_engine::get_rule_by_name
- rule_engine::get_rule_set_by_name
- rule_engine::get_rule_sets_for_solver_family
- rule_engine::get_rules
- rule_engine::get_rules_grouped
- rule_engine::resolve_rule_sets
- rule_engine::rewrite_morph
- rule_engine::rewrite_naive
Type Aliases
- ast::DomainPtr
- ast::serde::ObjId
- error::Result
- rule_engine::ApplicationResult
- rule_engine::RuleFn
- solver::SolverCallback
- solver::SolverMutCallback
- solver::SolverResult