kizzasi-logic 0.2.1

TensorLogic bridge for Kizzasi - constraint enforcement and safety guardrails
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

//! Constraint definitions and builders
//!
//! Provides constraint types for signal bounds and composition operators
//! for building complex constraint expressions, including temporal constraints
//! for rate-of-change limits.

mod basic;
mod geometric;
mod hysteresis;
mod linear;
mod ltl;
mod nonlinear;
mod quadratic;
mod sliding_window;
mod soft_hard;
mod stl;

// Re-export all public types from basic module
pub use basic::{
    BoundType, ComposedConstraint, Constraint, ConstraintBuilder, LogicalOperator, RateType,
    TemporalChecker, TemporalConstraint, TemporalConstraintBuilder,
};

// Re-export from linear module
pub use linear::{AffineEquality, LinearConstraint, LinearConstraintSet, LinearConstraintType};

// Re-export from quadratic module
pub use quadratic::{QuadraticConstraint, QuadraticConstraintSet, QuadraticConstraintType};

// Re-export from nonlinear module
pub use nonlinear::{NonlinearConstraint, NonlinearConstraintType};

// Re-export from geometric module
pub use geometric::{GeometricSet, SetMembershipConstraint};

// Re-export from soft_hard module
pub use soft_hard::{
    ConstraintMode, ConstraintSet, PenaltyFunction, SoftHardConstraint, ViolationComputable,
};

// Re-export from sliding_window module
pub use sliding_window::{SlidingWindowChecker, SlidingWindowConstraint, SlidingWindowFn};

// Re-export from ltl module
pub use ltl::{LTLChecker, LTLFormula, LTLOperator};

// Re-export from hysteresis module
pub use hysteresis::{HysteresisChecker, HysteresisConstraint};

// Re-export from stl module
pub use stl::{OnlineSTLMonitor, STLFormula, STLMonitor, Signal, TimeInterval};