Struct InvariantVerifier 

pub struct InvariantVerifier { /* private fields */ }

Game-specific invariant verifier

Implementations

impl InvariantVerifier

pub fn new(name: &str) -> Self

Create a new invariant verifier

pub fn with_tolerance(self, tolerance: f64) -> Self

With custom tolerance

pub fn verify_score_non_negative(&mut self, score: f64) -> &mut Self

Verify score is non-negative

pub fn verify_health(&mut self, health: f64, max_health: f64) -> &mut Self

Verify health is in valid range [0, max_health]

pub fn verify_position_bounds( &mut self, x: f64, y: f64, min_x: f64, max_x: f64, min_y: f64, max_y: f64, ) -> &mut Self

Verify position is within bounds

pub fn verify_speed_limit( &mut self, vx: f64, vy: f64, max_speed: f64, ) -> &mut Self

Verify velocity is within speed limit

pub fn verify_entity_count( &mut self, count: usize, expected: usize, ) -> &mut Self

Verify entity count invariant

pub fn verify_custom( &mut self, name: &str, expected: f64, actual: f64, ) -> &mut Self

Custom invariant check

pub fn verifier(&self) -> &EquationVerifier

Get the underlying verifier

pub fn assert_all(&self) -> ProbarResult<()>

Assert all invariants hold

Trait Implementations

impl Debug for InvariantVerifier

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.