Struct Prop 

pub struct Prop<'a> {
    pub ctx: &'a LayoutContext,
    /* private fields */
}

A proposition on measurements or other propositions.

Fields

ctx: &'a LayoutContext

Implementations

impl<'a> Prop<'a>

pub fn with_weight(self, weight: u32) -> Self

pub fn select(self, left: Measure<'a>, right: Measure<'a>) -> Measure<'a>

pub fn build_z3<'ctx>( self, build_ctx: &mut Z3BuildContext<'ctx>, ) -> Result<Bool<'ctx>>

Trait Implementations

impl<'a> BitAnd for Prop<'a>

type Output = Prop<'a>

The resulting type after applying the & operator.

fn bitand(self, that: Prop<'a>) -> Self

Performs the & operation.

impl<'a> BitOr for Prop<'a>

type Output = Prop<'a>

The resulting type after applying the | operator.

fn bitor(self, that: Prop<'a>) -> Self

Performs the | operation.

impl<'a> Clone for Prop<'a>

fn clone(&self) -> Prop<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Prop<'a>

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

Formats the value using the given formatter.

impl<'a> Display for Prop<'a>

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

Formats the value using the given formatter.

impl<'a> Not for Prop<'a>

type Output = Prop<'a>

The resulting type after applying the ! operator.

fn not(self) -> Self

Performs the unary ! operation.

impl<'a> Copy for Prop<'a>