Skip to main content

Crate solverforge_bridge

Crate solverforge_bridge 

Source
Expand description

Public dynamic bridge contracts for host-language SolverForge bindings.

The bridge crate is intentionally separate from the macro path. Rust models keep using monomorphized descriptors, slots, and constraint sets. Binding crates use this crate to describe logical model identity and Rust-owned dynamic state without pretending that one host-language entity class maps to one concrete Rust entity type.

Structs§

DynamicListAccessCapabilities
Object-safe dynamic list variable access.
DynamicListMetadataCapabilities
Immutable capabilities bound to one dynamic planning-list slot.
DynamicListVariableSlot
Public dynamic list variable slot.
DynamicScalarAssignmentMetadataCapabilities
Structural capabilities supplied by a dynamic scalar-assignment group.
DynamicScalarVariableSlot
Public dynamic scalar variable slot.
DynamicScore
Dynamic score used by host-language bindings.
EntityClassId
Logical planning-entity class identifier.
ProblemFactClassId
Logical problem-fact class identifier.
VariableId
Logical planning-variable identifier.

Enums§

DynamicScoreFamily
Declared host-language score family.

Traits§

DynamicListAccess
DynamicListMetadata
Slot-bound immutable metadata used by canonical dynamic-list phases.
DynamicModelBackend
Rust-owned dynamic planning model backend.
DynamicScalarAccess
Object-safe dynamic scalar variable access.
DynamicScalarAssignmentMetadata
Object-safe metadata access for one dynamic scalar-assignment group.

Functions§

scoped_dynamic_score_family
Runs callback with a thread-local dynamic score family.
try_run_dynamic_solver_with_config_parts
Runs a dynamic model through the one compiled runtime path.