Struct RealProblem 

pub struct RealProblem {
    pub kinds: Vec<FloatKind>,
    pub conds: Vec<RealCond>,
    pub dists: Vec<RealDist>,
    pub before: Vec<(RealVarId, RealVarId)>,
}

The whole real problem of one class template.

Fields

kinds: Vec<FloatKind>

The type of each real random variable.

conds: Vec<RealCond>

Conditions that must all hold.

dists: Vec<RealDist>

The dist constraints, at most one per variable.

before: Vec<(RealVarId, RealVarId)>

solve a before b edges between real variables.

Implementations

impl RealProblem

pub fn reads_int_vars(&self) -> bool

Whether any integral sub-expression of a condition or a dist bound reads an integral random variable (IEEE 1800-2023 18.5.13: a real constraint over an integral rand variable is solved after it).

pub fn has_integral_only_filter(&self) -> bool

Whether some top-level condition compares an integral random variable with real values and reads no real random variable: it only filters the integral draw, which rejection sampling cannot do reliably (a 32-bit variable against a real bound), so the builder refuses it by name.

pub fn with_int_vars(&self, f: impl FnMut(VarId, Ty) -> Expr) -> RealProblem

This problem with every integral random variable v of type t that a condition or dist bound reads replaced by f(v, t) (a state variable holding the value the integral solve drew).

impl RealProblem

pub fn check(&self) -> Result<(), String>

Checks the shape rules that do not depend on a call’s state values or rand_modes (module docs), so the builder can reject a class whose real constraints this solver cannot handle at compile time. solve re-checks everything it relies on, with the same messages.

pub fn validate_ir(&self) -> Result<(), IrError>

Validates every integral expression embedded in the problem (the builder’s last line of defence against building a malformed tree).

Trait Implementations

impl Clone for RealProblem

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RealProblem

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

Formats the value using the given formatter.

impl Default for RealProblem

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for RealProblem

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RealProblem

impl PartialEq for RealProblem

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for RealProblem

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for RealProblem