Struct PredicateConstraintObj

#[repr(C)]
pub struct PredicateConstraintObj {
    pub condition: Expr,
    pub assume_always: bool,
    /* private fields */
}

Complete: reflected fields fill [24, 40) exactly (alignment padding [33, 40)).

Fields

condition: Expr

assume_always: bool

Trait Implementations

impl Deref for PredicateConstraintObj

type Target = ConstraintObj

The resulting type after dereferencing.

fn deref(&self) -> &ConstraintObj

Dereferences the value.

impl<'a> From<&'a PredicateConstraintObj> for AnyView<'a>

fn from(value: &'a PredicateConstraintObj) -> Self

Converts to this type from the input type.

impl ObjectCore for PredicateConstraintObj

const TYPE_KEY: &'static str = "sym.PredicateConstraint"

the type key of the object

const TYPE_DEPTH: i32 = 2i32

Depth of this type in the object inheritance tree.

fn type_index() -> i32

unsafe fn object_header_mut(this: &mut Self) -> &mut TVMFFIObject

Return the object header This function is implemented as a static function so