Crate pldag
Source - Constraint
- Represents a linear constraint in the form: sum(coeff_i * var_i) + bias >= 0.
- DenseIntegerMatrix
- Dense representation of an integer matrix.
- DensePolyhedron
- Dense representation of a polyhedron defined by linear constraints.
- Node
- Represents a node in the PL-DAG containing both logical expression and coefficient.
- Pldag
- A Primitive Logic Directed Acyclic Graph (PL-DAG).
- SparseIntegerMatrix
- Sparse representation of an integer matrix.
- SparsePolyhedron
- Sparse representation of a polyhedron defined by linear constraints.
- BoolExpression
- Represents different types of boolean expressions in the DAG.
- Assignment
- Maps node IDs to their bound values.
- Bound
- Represents a bound with minimum and maximum values.
Used to specify the allowed range for variables and constraints.
- Coefficient
- Represents a coefficient in a linear constraint: (variable_name, coefficient_value).
- ID
- Type alias for node identifiers in the DAG.
- MultiBound
- Combines integer bounds with floating-point coefficient bounds.
- VBound
- Represents bounds for floating-point coefficient values.
- ValuedAssignment
- Maps node IDs to their bounds and accumulated coefficients.