List of all items
Structs
- AddressableAccess
- Assignment
- BlockFunction
- BlockScopedFunction
- CompilationError
- CompoundVariable
- Constant
- EqualityConstraint
- FunctionCall
- Graph
- GraphEdge
- GraphNode
- InputSpan
- IterableSet
- LinearConstraint
- LinearModel
- Linearizer
- LpSolution
- NormalizationContext
- OptimalTableau
- OptimalTableauWithSteps
- PreConstraint
- PreObjective
- RoocParser
- RoocSolver
- SimplexStep
- Spanned
- StandardLinearModel
- Tableau
- Tuple
- block_functions::BlockFunction
- block_functions::BlockScopedFunction
- common::Assignment
- common::LpSolution
- consts::Constant
- domain_declaration::VariablesDomainDeclaration
- function_traits::FunctionCall
- functions::FunctionCall
- functions::function_traits::FunctionCall
- graph::Graph
- graph::GraphEdge
- graph::GraphNode
- il::AddressableAccess
- il::BlockFunction
- il::BlockScopedFunction
- il::CompoundVariable
- il::IterableSet
- il::PreConstraint
- il::PreObjective
- il::block_functions::BlockFunction
- il::block_functions::BlockScopedFunction
- il::il_problem::AddressableAccess
- il::il_problem::CompoundVariable
- il::il_problem::PreConstraint
- il::il_problem::PreObjective
- il::iterable_set::IterableSet
- il_problem::AddressableAccess
- il_problem::CompoundVariable
- il_problem::PreConstraint
- il_problem::PreObjective
- iterable_set::IterableSet
- linear_model::LinearConstraint
- linear_model::LinearModel
- linearizer::Linearizer
- model_transformer::Constraint
- model_transformer::DomainVariable
- model_transformer::Frame
- model_transformer::Model
- model_transformer::Objective
- model_transformer::TransformerContext
- model_transformer::model::Constraint
- model_transformer::model::Model
- model_transformer::model::Objective
- model_transformer::transformer_context::DomainVariable
- model_transformer::transformer_context::Frame
- model_transformer::transformer_context::TransformerContext
- optimal_tableau::OptimalTableau
- optimal_tableau::OptimalTableauWithSteps
- optimal_tableau::SimplexStep
- pipe::pipe_definitions::PipeContext
- pipe::pipe_executors::AutoSolverPipe
- pipe::pipe_executors::BinarySolverPipe
- pipe::pipe_executors::CompilerPipe
- pipe::pipe_executors::IntegerBinarySolverPipe
- pipe::pipe_executors::LinearModelPipe
- pipe::pipe_executors::MILPSolverPipe
- pipe::pipe_executors::ModelPipe
- pipe::pipe_executors::PreModelPipe
- pipe::pipe_executors::RealSolver
- pipe::pipe_executors::StandardLinearModelPipe
- pipe::pipe_executors::StepByStepSimplexPipe
- pipe::pipe_executors::TableauPipe
- pipe::pipe_runner::PipeRunner
- pre_model::PreModel
- simplex::OptimalTableau
- simplex::OptimalTableauWithSteps
- simplex::SimplexStep
- simplex::Tableau
- simplex::optimal_tableau::OptimalTableau
- simplex::optimal_tableau::OptimalTableauWithSteps
- simplex::optimal_tableau::SimplexStep
- simplex::tableau::Tableau
- standard_linear_model::EqualityConstraint
- standard_linear_model::StandardLinearModel
- standardizer::NormalizationContext
- tableau::Tableau
- tuple::Tuple
- type_checker::type_checker_context::FunctionContext
- type_checker::type_checker_context::StaticVariableType
- type_checker::type_checker_context::TypeCheckerContext
- type_checker::type_checker_context::TypedToken
Enums
- BinOp
- BlockFunctionKind
- BlockScopedFunctionKind
- CanonicalTransformError
- Comparison
- IntOrBoolValue
- IterableKind
- LinearModelError
- LinearizationError
- MILPValue
- Operator
- OperatorError
- OptimizationType
- ParseError
- PreExp
- PreVariableType
- Primitive
- PrimitiveKind
- RoocSolverError
- SimplexError
- SolverError
- StepAction
- UnOp
- VariableType
- block_functions::BlockFunctionKind
- block_functions::BlockScopedFunctionKind
- common::SolverError
- domain_declaration::Variable
- il::BlockFunctionKind
- il::BlockScopedFunctionKind
- il::PreExp
- il::block_functions::BlockFunctionKind
- il::block_functions::BlockScopedFunctionKind
- il::il_exp::PreExp
- il_exp::PreExp
- iterable::IterableKind
- linear_integer_binary_solver::IntOrBoolValue
- linear_model::LinearModelError
- linearizer::LinearizationError
- math_enums::Comparison
- math_enums::OptimizationType
- math_enums::PreVariableType
- math_enums::VariableType
- model_transformer::Exp
- model_transformer::TransformError
- model_transformer::VariableKind
- model_transformer::model::Exp
- model_transformer::model::VariableKind
- model_transformer::transform_error::TransformError
- operators::BinOp
- operators::Operator
- operators::UnOp
- pipe::pipe_definitions::PipeDataType
- pipe::pipe_definitions::PipeError
- pipe::pipe_definitions::PipeableData
- pre_model::Rule
- primitive::Primitive
- primitive::PrimitiveKind
- primitive_traits::OperatorError
- simplex::CanonicalTransformError
- simplex::SimplexError
- simplex::StepAction
- simplex::simplex_enums::CanonicalTransformError
- simplex::simplex_enums::SimplexError
- simplex::simplex_enums::StepAction
- simplex_enums::CanonicalTransformError
- simplex_enums::SimplexError
- simplex_enums::StepAction
Traits
- ApplyOp
- RoocFunction
- Spreadable
- function_traits::RoocFunction
- functions::RoocFunction
- functions::function_traits::RoocFunction
- pipe::pipe_definitions::Pipeable
- primitive_traits::ApplyOp
- primitive_traits::Spreadable
- type_checker::type_checker_context::TypeCheckable
- type_checker::type_checker_context::WithType
Macros
- bail_missing_token
- bail_semantic_error
- bail_wrong_argument
- check_bounds
- enum_with_variants_to_string
- err_unexpected_token
- make_pipe_error
- match_or_bail
- match_pipe_data_to
- wrong_argument
Functions
- auto_solver
- binary_solver::solve_binary_lp_problem
- common::find_invalid_variables
- common::process_variables
- common::process_variables_binary
- default_rooc_function_to_latex
- default_rooc_function_to_string
- default_type_check
- default_wrong_number_of_arguments
- default_wrong_type
- divide_matrix_row_by
- find_invalid_variables
- float_eq
- float_ne
- format_var
- function_traits::default_rooc_function_to_latex
- function_traits::default_rooc_function_to_string
- function_traits::default_type_check
- function_traits::default_wrong_number_of_arguments
- function_traits::default_wrong_type
- functions::default_rooc_function_to_latex
- functions::default_rooc_function_to_string
- functions::default_type_check
- functions::default_wrong_number_of_arguments
- functions::default_wrong_type
- functions::function_traits::default_rooc_function_to_latex
- functions::function_traits::default_rooc_function_to_string
- functions::function_traits::default_type_check
- functions::function_traits::default_wrong_number_of_arguments
- functions::function_traits::default_wrong_type
- iterable_utils::flatten_primitive_array_values
- linear_integer_binary_solver::solve_integer_binary_lp_problem
- linear_model::make_constraints_map_from_assignment
- make_constraints_map_from_assignment
- math_utils::float_eq
- math_utils::float_ne
- model_transformer::model::transform_constraint
- model_transformer::model::transform_constraint_with_iteration
- model_transformer::model::transform_model
- model_transformer::model::transform_objective
- model_transformer::model::transform_parsed_problem
- model_transformer::transform_constraint
- model_transformer::transform_constraint_with_iteration
- model_transformer::transform_model
- model_transformer::transform_objective
- model_transformer::transform_parsed_problem
- normalize_constraint
- pipe::pipe_runner::run_pipe
- pre_model::parse_problem_source
- process_variables
- process_variables_binary
- real_solver::solve_real_lp_problem_clarabel
- rules_parser::parse_array_access
- rules_parser::parse_as_assertion_type
- rules_parser::parse_block_function
- rules_parser::parse_block_function_type
- rules_parser::parse_block_scoped_function
- rules_parser::parse_comparison
- rules_parser::parse_compound_variable
- rules_parser::parse_compound_variable_index
- rules_parser::parse_const_declaration
- rules_parser::parse_constraint
- rules_parser::parse_constraint_list
- rules_parser::parse_consts_declaration
- rules_parser::parse_domain_declaration
- rules_parser::parse_domains_declaration
- rules_parser::parse_function_call
- rules_parser::parse_graph_edge
- rules_parser::parse_graph_node
- rules_parser::parse_iterator
- rules_parser::parse_number
- rules_parser::parse_objective
- rules_parser::parse_parameter
- rules_parser::parse_parameters
- rules_parser::parse_primitive
- rules_parser::parse_scoped_block_function_type
- rules_parser::parse_set_iterator
- rules_parser::parse_set_iterator_list
- rules_parser::parse_variable
- rules_parser::parse_variable_type
- rules_parser::parse_variables_assertion
- simplex::divide_matrix_row_by
- simplex::simplex_solver::solve_real_lp_problem_micro_lp
- simplex::simplex_solver::solve_real_lp_problem_slow_simplex
- simplex::simplex_utils::divide_matrix_row_by
- simplex::solve_real_lp_problem_micro_lp
- simplex::solve_real_lp_problem_slow_simplex
- simplex_solver::solve_real_lp_problem_micro_lp
- simplex_solver::solve_real_lp_problem_slow_simplex
- simplex_utils::divide_matrix_row_by
- solve_binary_lp_problem
- solve_integer_binary_lp_problem
- solve_milp_lp_problem
- solve_real_lp_problem_clarabel
- solve_real_lp_problem_micro_lp
- solve_real_lp_problem_slow_simplex
- standard_linear_model::format_var
- standardizer::normalize_constraint
- standardizer::to_standard_form
- to_standard_form