Skip to main content

explicit_soc_form

oximo_core::soc

Function explicit_soc_form 

Source 
pub fn explicit_soc_form(
    arena: &ExprArena,
    s: &SocConstraint,
) -> Option<SocForm>
Expand description

The normalized SocForm view of an explicit SocConstraint. Members are validated affine at registration, so this only returns None on a corrupted model (e.g. an ExprId from a different arena).