Struct rustproof_libsmt::logics::lia::LIA

pub struct LIA;

Trait Implementations

impl Clone for LIA

fn clone(&self) -> LIA

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for LIA

impl Debug for LIA

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Display for LIA

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

Formats the value using the given formatter.

impl Logic for LIA

type Fns = LIA_Fn

type Sorts = LIA_Sorts

fn free_var<T: AsRef<str>>(name: T, ty: LIA_Sorts) -> Self::Fns