util

Enums

ExprType(value)

FileDeterminism(value)

Classes

BeforeChildDispatcher

Dispatcher for handling the StreamBasedExpressionVisitor beforeChild callback

ExitNodeDispatcher(*args, **kwargs)

Dispatcher for handling the StreamBasedExpressionVisitor exitNode callback

InvalidNumber(value[, cause])

OrderedVarRecorder(var_map, var_order, sorter)

TemplateVarRecorder(var_map, sorter)

VarRecorder(var_map, sorter)

Functions

FileDeterminism_to_SortComponents(...)

apply_node_operation(node, args)

categorize_valid_components(model[, active, ...])

Walk model and check for valid component types

check_constant(ans, obj, visitor)

complex_number_error(value, visitor, expr[, ...])

ftoa(val[, parenthesize_negative_values])

initialize_exit_node_dispatcher(exit_handlers)

initialize_var_map_from_column_order(model, ...)

ordered_active_constraints(model, config)

row_order2row_map(config)

Convert a row_order (list or ComponentMap) into a dict mapping constraint id -> row index.

val2str(val)

Converts an object to str with special handling for InvalidNumber