Struct Cvc5OptionInfo_UIntInfo 

#[repr(C)]
pub struct Cvc5OptionInfo_UIntInfo {
    pub dflt: u64,
    pub cur: u64,
    pub min: u64,
    pub max: u64,
    pub has_min: bool,
    pub has_max: bool,
}

Information for uint64 values.

Fields

dflt: u64

The default value.

cur: u64

The current value.

min: u64

The minimum value.

max: u64

The maximum value.

has_min: bool

True if option has a minimum value.

has_max: bool

True if option has a maximum value.

Trait Implementations

impl Clone for Cvc5OptionInfo_UIntInfo

fn clone(&self) -> Cvc5OptionInfo_UIntInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Cvc5OptionInfo_UIntInfo

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

Formats the value using the given formatter.

impl Default for Cvc5OptionInfo_UIntInfo

fn default() -> Cvc5OptionInfo_UIntInfo

Returns the “default value” for a type.

impl Copy for Cvc5OptionInfo_UIntInfo