Expand description
Exact-aware circuit carriers and MNA residual replay.
hypercircuit owns circuit-domain structure: instances, nets, linear MNA
stamps, unknown ordering, residual replay, and adapter reports for numeric
transient/DAE engines. It does not own part catalogs, geometry, routing, or
physics; those facts enter through explicit ids or report payloads.
Linear stamping follows the Modified Nodal Analysis formulation of Ho, Ruehli, and Brennan, “The Modified Nodal Approach to Network Analysis,” IEEE Transactions on Circuits and Systems 22(6), 1975 (https://doi.org/10.1109/TCS.1975.1084079). Exact replay follows Yap, “Towards Exact Geometric Computation,” Computational Geometry 7(1-2), 1997 (https://doi.org/10.1016/0925-7721(95)00040-2): numeric solvers may propose states, but accepted circuit facts must replay through exact residual definitions or return explicit uncertainty.
Re-exports§
pub use adapter::AdapterKind;pub use adapter::CircuitAdapterReport;pub use adapter::ElectrothermalTraceFixture;pub use coupling::CoupledResidualBlock;pub use coupling::ElectromechanicalPort;pub use coupling::ElectrothermalRcReport;pub use coupling::PhysicalElectricalPort;pub use coupling::ThermalPort;pub use error::CircuitError;pub use error::CircuitResult;pub use identity::BranchId;pub use identity::CircuitId;pub use identity::CircuitInstanceId;pub use identity::ComponentId;pub use identity::DeviceModelId;pub use identity::NetId;pub use identity::PartRef;pub use identity::PinRef;pub use mna::LinearMnaSystem;pub use mna::LinearStamp;pub use mna::MnaUnknown;pub use mna::ResidualReplayReport;pub use model::Circuit;pub use model::CircuitCertificationReport;pub use model::CircuitInstance;pub use model::CircuitParameter;pub use model::CircuitState;pub use model::DeviceModel;pub use model::DeviceModelKind;pub use model::MnaProblem;pub use model::Net;pub use model::PinBinding;pub use model::TransientPolicy;pub use nonlinear::EventPolicy;pub use nonlinear::NonlinearDeviceKind;pub use nonlinear::NonlinearDeviceReport;pub use nonlinear::PiecewiseLinearSegment;pub use nonlinear::SwitchState;
Modules§
- adapter
- Reports for external numeric circuit adapters.
- coupling
- Exact circuit/physics coupling carriers.
- error
- Error types for exact circuit carriers.
- identity
- Stable ids for circuits, nets, branches, and part references.
- mna
- Linear Modified Nodal Analysis carriers and residual replay.
- model
- Exact circuit-domain carriers before solver lowering.
- nonlinear
- Nonlinear and event-device report surfaces.
Structs§
- Real
- (More) Real numbers