PuLP circuit model

To use one of the described component here, you have to import them from khloraascaf.ilp.pulp_circuit.

Constraint functions

flow_definition(prob, var, big_m, mdcg)

Constraint defining the flow on the edges.

Parameters:

• prob (LpProblem) – PuLP problem

• var (PuLPVarPath) – Variables

• big_m (int) – Big M

• mdcg (MDCGraph) – Mulitplied doubled contig graph

circuit_from_the_starter_forward(prob, var, mdcg, starter_vertex)

Constraint defining the path from start to terminal.

Parameters:

• prob (LpProblem) – PuLP problem

• var (PuLPVarPath) – Variables

• mdcg (MDCGraph) – Multiplied doubled contig graph

• starter_vertex (OccOrCT) – Starter vertex

intermediate_in_circuit(prob, var, mdcg, starter_vertex)

Constraint defining the intermediate vertices in the circuit.

Parameters:

• prob (LpProblem) – PuLP problem

• var (PuLPVarPath) – Variables

• mdcg (MDCGraph) – Multiplied doubled contig graph

• starter_vertex (OccOrCT) – Starter vertex