Skip to main contentCrate pldag
Source - Coef
- CompiledDag
- Constraint
- Represents a linear constraint in the form: sum(coeff_i * var_i) + bias >= 0.
- DensePolyhedron
- Dense representation of a polyhedron defined by linear constraints.
- InMemoryStore
- In-memory storage implementation (for testing/development)
- NodeStore
- Pldag
- A Primitive Logic Directed Acyclic Graph (PL-DAG).
- SparsePolyhedron
- Sparse representation of a polyhedron defined by linear constraints.
- Kind
- Node
- Represents different types of boolean expressions in the DAG.
- PldagError
- Error types that can occur during pldag operations
- KeyValueStore
- Abstract interface for key-value storage backends
- NodeStoreTrait
- Abstract interface for key-value storage backends
- Bound
- Represents a bound with minimum and maximum values.
Used to specify the allowed range for variables and constraints.
- ID
- Type alias for node identifiers in the DAG.
- Result
- Result type alias for pldag operations