Struct RelyGuaranteeLogic 

pub struct RelyGuaranteeLogic {
    pub rely_condition: String,
    pub guarantee_condition: String,
    pub stable_pre: String,
    pub stable_post: String,
}

Fields

rely_condition: String

guarantee_condition: String

stable_pre: String

stable_post: String

Implementations

impl RelyGuaranteeLogic

pub fn new(rely: &str, guarantee: &str, pre: &str, post: &str) -> Self

pub fn rg_triple(&self, cmd: &str) -> String

pub fn stability_check(&self) -> String

Trait Implementations

impl Clone for RelyGuaranteeLogic

fn clone(&self) -> RelyGuaranteeLogic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelyGuaranteeLogic

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

Formats the value using the given formatter.