Index

A

Add (class in utils.mathexpr_generator) amount (model.template.DerivedSymbol attribute) (model.template.DynamicCondition attribute) (model.template.QuerySelectionTemplate attribute) ans_assertion (model.template.Query attribute)

ans_formula (model.template.Query attribute) ans_text (model.template.Query attribute) AnswerAssertionError attr (model.template.DefinedSymbol attribute) (utils.auxiliary_operator.CustomSym attribute)

B

build_system() (in module utils.mathexpr_generator)

C

calc_solution (model.template.PuzzleTemplate attribute) choose() (in module utils.auxiliary_operator) Comparison (class in utils.mathexpr_generator) cond (model.template.QuerySelectionTemplate attribute) conditions (model.template.PuzzleTemplate attribute) Constant (class in utils.mathexpr_generator)

custom_cond (model.template.DerivedSymbol attribute) (model.template.DynamicCondition attribute) (model.template.QuerySelectionTemplate attribute) custom_operator (model.template.PuzzleTemplate attribute) CustomCond (class in utils.auxiliary_operator) CustomSym (class in utils.auxiliary_operator)

D

data (utils.auxiliary_operator.CustomCond attribute) DefinedSymbol (class in model.template) DerivedSymbol (class in model.template) DerivedSymbols (class in model.template) desc (model.template.DefinedSymbol attribute) (model.template.DerivedSymbol attribute) (model.template.PuzzleTemplate attribute) (model.template.QueryBase attribute) (model.template.StaticCondition attribute) (utils.auxiliary_operator.CustomCond property) (utils.auxiliary_operator.CustomSym attribute) deserialize() (utils.mathexpr_generator.FormulaConfig class method)

dim (model.template.DerivedSymbol attribute) dim_cond (model.template.DerivedSymbol attribute) Divide (class in utils.mathexpr_generator) domain (model.template.DerivedSymbol attribute) (model.template.DynamicCondition attribute) (model.template.Variable attribute) (utils.auxiliary_operator.CustomCond attribute) domain_cond (model.template.DerivedSymbol attribute) (model.template.DynamicCondition attribute) duplicate (model.template.DerivedSymbol attribute) (model.template.DynamicCondition attribute) (model.template.QuerySelectionTemplate attribute) DynamicCondition (class in model.template)

E

evaluate() (utils.mathexpr_generator.Add method) (utils.mathexpr_generator.Comparison method) (utils.mathexpr_generator.Constant method) (utils.mathexpr_generator.Divide method) (utils.mathexpr_generator.ExprNode method) (utils.mathexpr_generator.Multiply method) (utils.mathexpr_generator.Power method) (utils.mathexpr_generator.Subtract method) (utils.mathexpr_generator.Variable method)

ExprNode (class in utils.mathexpr_generator) ext() (in module translator)

F

find_always_TF_combined_events() (in module utils.option_generator) find_always_TF_events() (in module utils.option_generator) find_required_event_groups() (in module utils.option_generator) formula (model.template.DerivedSymbol attribute) (model.template.Optimize attribute) (model.template.StaticCondition attribute) (model.template.Variable attribute)

FormulaConfig (class in utils.mathexpr_generator)

G

gen_event_count_condition() (in module utils.condition_generator) gen_multi_event_count_condition() (in module utils.condition_generator) generate_expr() (in module utils.mathexpr_generator) generate_formula() (in module utils.mathexpr_generator) generate_formulas() (in module utils.mathexpr_generator) generate_letters() (in module utils.auxiliary_operator) generate_random_indices() (in module utils.auxiliary_operator) generate_random_list() (in module utils.auxiliary_operator) generate_random_list_with_total() (in module utils.auxiliary_operator) generate_var_names() (in module utils.auxiliary_operator) get() (utils.auxiliary_operator.CustomSym method)

get_data() (in module utils.auxiliary_operator) get_desc() (in module utils.auxiliary_operator) get_faker() (in module utils.faker_utils) get_formula_value() (in module utils.mathexpr_generator) get_latex() (utils.mathexpr_generator.FormulaConfig method) get_p() (in module utils.auxiliary_operator) get_required_non_solutions() (in module utils.option_generator) get_TF_events_for_each_solution() (in module utils.option_generator) get_value() (in module utils.auxiliary_operator) (utils.mathexpr_generator.FormulaConfig method) get_var_name() (in module utils.auxiliary_operator) get_z3_expr() (utils.mathexpr_generator.FormulaConfig method)

I

init_program() (in module translator)

is_option_valid() (in module utils.auxiliary_operator)

M

make_expr() (in module utils.auxiliary_operator) max_solution (model.template.PuzzleTemplate attribute) model module model.template module model_config (model.template.DefinedSymbol attribute) (model.template.DerivedSymbol attribute) (model.template.DerivedSymbols attribute) (model.template.DynamicCondition attribute) (model.template.Optimize attribute) (model.template.PostGen attribute) (model.template.PuzzleTemplate attribute) (model.template.Query attribute) (model.template.QueryBase attribute) (model.template.QuerySelectionBase attribute) (model.template.QuerySelectionTemplate attribute) (model.template.QuerySelectionWithMultipleTemplates attribute) (model.template.QuerySelectionWithSingleTemplate attribute) (model.template.StaticCondition attribute) (model.template.Variable attribute)

module model model.template translator utils utils.auxiliary_operator utils.condition_generator utils.faker_utils utils.mathexpr_generator utils.option_generator Multiply (class in utils.mathexpr_generator)

N

name (utils.auxiliary_operator.CustomSym attribute)

NoSolutionError

O

OPS (utils.mathexpr_generator.Comparison attribute) opt_formula (model.template.QuerySelectionTemplate attribute) opt_num (model.template.QuerySelectionBase attribute) opt_text (model.template.QuerySelectionTemplate attribute)

Optimize (class in model.template) optimize (model.template.PuzzleTemplate attribute) order (model.template.DerivedSymbol attribute) (model.template.DynamicCondition attribute) (model.template.QuerySelectionTemplate attribute)

P

parse_config_file() (in module translator) post_gen_conditions (model.template.PostGen attribute) post_gen_vars (model.template.PostGen attribute) post_generation (model.template.PuzzleTemplate attribute) PostGen (class in model.template) Power (class in utils.mathexpr_generator) process() (in module translator) process_conditions() (in module translator) process_custom_operator() (in module translator) process_defined_symbols() (in module translator) process_dynamic_conditions() (in module translator) process_multiple_derived_symbols() (in module translator)

process_multiple_query() (in module translator) process_optimize() (in module translator) process_post_generation() (in module translator) process_query() (in module translator) process_single_derived_symbols() (in module translator) process_single_query() (in module translator) process_static_conditions() (in module translator) process_symbols() (in module translator) process_vars() (in module translator) process_with_config() (in module translator) PuzzleGenerationError PuzzleTemplate (class in model.template)

Q

queries (model.template.PuzzleTemplate attribute) Query (class in model.template) query_type (model.template.QuerySelectionBase attribute) QueryBase (class in model.template)

QuerySelectionBase (class in model.template) QuerySelectionTemplate (class in model.template) QuerySelectionWithMultipleTemplates (class in model.template) QuerySelectionWithSingleTemplate (class in model.template)

R

RandomGenerationError render() (utils.auxiliary_operator.SafeTemplate method)

repeat_process() (in module translator) resolve_rand() (in module translator)

S

SafeTemplate (class in utils.auxiliary_operator) select_type (model.template.QuerySelectionBase attribute) serialize() (utils.mathexpr_generator.Add method) (utils.mathexpr_generator.Comparison method) (utils.mathexpr_generator.Constant method) (utils.mathexpr_generator.Divide method) (utils.mathexpr_generator.ExprNode method) (utils.mathexpr_generator.FormulaConfig method) (utils.mathexpr_generator.Multiply method) (utils.mathexpr_generator.Power method) (utils.mathexpr_generator.Subtract method) (utils.mathexpr_generator.Variable method)

set_global_context() (in module utils.auxiliary_operator) set_local_context() (in module utils.auxiliary_operator) sort_solutions() (in module utils.auxiliary_operator) source (model.template.DefinedSymbol attribute) (model.template.DerivedSymbol attribute) (model.template.DynamicCondition attribute) (model.template.QuerySelectionTemplate attribute) (utils.auxiliary_operator.CustomSym attribute) StaticCondition (class in model.template) store_sym_config() (in module utils.auxiliary_operator) Subtract (class in utils.mathexpr_generator) symbols (model.template.PuzzleTemplate attribute)

T

templates (model.template.DerivedSymbols attribute) (model.template.QuerySelectionWithMultipleTemplates attribute) to_hashable() (in module utils.auxiliary_operator) to_latex() (utils.mathexpr_generator.Add method) (utils.mathexpr_generator.Comparison method) (utils.mathexpr_generator.Constant method) (utils.mathexpr_generator.Divide method) (utils.mathexpr_generator.ExprNode method) (utils.mathexpr_generator.Multiply method) (utils.mathexpr_generator.Power method) (utils.mathexpr_generator.Subtract method) (utils.mathexpr_generator.Variable method) to_list() (utils.auxiliary_operator.CustomSym method) to_unique() (in module utils.auxiliary_operator) to_value() (in module utils.mathexpr_generator) to_z3() (utils.mathexpr_generator.Add method) (utils.mathexpr_generator.Comparison method) (utils.mathexpr_generator.Constant method) (utils.mathexpr_generator.Divide method) (utils.mathexpr_generator.ExprNode method) (utils.mathexpr_generator.Multiply method) (utils.mathexpr_generator.Power method) (utils.mathexpr_generator.Subtract method) (utils.mathexpr_generator.Variable method)

TooManySolutionsError total (model.template.DerivedSymbols attribute) translator module translator() (in module translator) type (model.template.DefinedSymbol attribute) (model.template.Optimize attribute) (model.template.Variable attribute) (utils.auxiliary_operator.CustomSym attribute)

U

utils module utils.auxiliary_operator module utils.condition_generator module

utils.faker_utils module utils.mathexpr_generator module utils.option_generator module

V

validate_exclusive_fields() (model.template.Variable method) validate_type_desc_based_on_attr() (model.template.DefinedSymbol class method)

Variable (class in model.template) (class in utils.mathexpr_generator) variables (model.template.PuzzleTemplate attribute)