convert_to_substitutable

class Constraint

Constraint(name: 'str', condition: 'subs_expr.ConstraintCondition', forall: 'list[tuple[subs_expr.Element, subs_expr.SubstitutableCondition]]')

class CustomPenalty

CustomPenalty(name: 'str', expression: 'subs_expr.SubstitutableExpr', forall: 'list[tuple[subs_expr.Element, subs_expr.SubstitutableCondition]]')

class Problem

Problem(name: 'str', sense: 'ProblemSense', objective: 'subs_expr.SubstitutableExpr', constraints: 'dict[str, Constraint]', penalties: 'dict[str, CustomPenalty]')

class ProblemSense

An enumeration.

convert_to_substitutable

class Constraint

class CustomPenalty

class Problem

class ProblemSense

convert_problem_to_substutitable (problem) -> -

convert_to_subs_condition (expr, el_map) -> -

convert_to_substitutable (expr, el_map) -> -

class Constraint​

class CustomPenalty​

class Problem​

class ProblemSense​

convert_problem_to_substutitable (problem) -> -​

convert_to_subs_condition (expr, el_map) -> -​

convert_to_substitutable (expr, el_map) -> -​

class Constraint

class CustomPenalty

class Problem

class ProblemSense

convert_problem_to_substutitable (problem) -> -

convert_to_subs_condition (expr, el_map) -> -

convert_to_substitutable (expr, el_map) -> -