Struct PhaseSpaceExt 

pub struct PhaseSpaceExt {
    pub monoid_name: String,
    pub facts_description: String,
}

Phase semantics model for linear logic (second extended version).

Fields

monoid_name: String

facts_description: String

Implementations

impl PhaseSpaceExt

pub fn new(monoid: &str) -> Self

pub fn completeness_description(&self) -> String

Trait Implementations

impl Clone for PhaseSpaceExt

fn clone(&self) -> PhaseSpaceExt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PhaseSpaceExt

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

Formats the value using the given formatter.