List of all items

Structs

• LoggingState
• cli::Cli
• cli::CompletionArgs
• cli::GlobalArgs
• pretty::Args
• rule_trace_aggregates::RuleNameVisitor
• rule_trace_aggregates::RuleTraceAggregatesHandle
• rule_trace_aggregates::RuleTraceAggregatesLayer
• rule_trace_aggregates::RuleTraceAggregatesState
• solve::Args
• test_solve::Args

Enums

• cli::Command
• cli::ShellTypes
• solve::NumberOfSolutions

Functions

• cli::parse_comprehension_expander
• cli::parse_parser
• cli::parse_rewriter
• cli::parse_solver_family
• main
• pretty::run_pretty_command
• print_info_schema::run_print_info_schema_command
• rule_trace_aggregates::temporary_output_path
• run
• run_completion_command
• run_lsp_server
• run_subcommand
• setup_logging
• solve::init_context
• solve::init_solver
• solve::parse
• solve::parse_number_of_solutions
• solve::parse_with_conjure
• solve::rewrite
• solve::run_solve_command
• solve::run_solver
• test_solve::run_test_solve_command

Statics

• GLOBAL

Constants

• cli::CONFIGURATION_HELP_HEADING
• cli::DEBUG_HELP_HEADING
• cli::LOGGING_HELP_HEADING
• cli::OPTIMISATIONS_HELP_HEADING