Struct SecurityLabelProvenanceSemiringV0 

pub struct SecurityLabelProvenanceSemiringV0 {
    pub zero: &'static str,
    pub one: &'static str,
    pub addition: &'static str,
    pub multiplication: &'static str,
    pub idempotent_addition: bool,
}

Fields

zero: &'static str

one: &'static str

addition: &'static str

multiplication: &'static str

idempotent_addition: bool

Implementations

impl SecurityLabelProvenanceSemiringV0

pub const fn new() -> Self

Trait Implementations

impl Clone for SecurityLabelProvenanceSemiringV0

fn clone(&self) -> SecurityLabelProvenanceSemiringV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SecurityLabelProvenanceSemiringV0

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

Formats the value using the given formatter.

impl Default for SecurityLabelProvenanceSemiringV0

fn default() -> Self

Returns the “default value” for a type.

impl Eq for SecurityLabelProvenanceSemiringV0

impl PartialEq for SecurityLabelProvenanceSemiringV0

fn eq(&self, other: &SecurityLabelProvenanceSemiringV0) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl ProvenanceSemiringV0 for SecurityLabelProvenanceSemiringV0

const IDENTIFIER: &'static str = "securityLabel"

type Element = SecurityLabelV0

fn zero(&self) -> Self::Element

fn one(&self) -> Self::Element

fn add(&self, lhs: &Self::Element, rhs: &Self::Element) -> Self::Element

fn multiply(&self, lhs: &Self::Element, rhs: &Self::Element) -> Self::Element

fn idempotent_addition(&self) -> bool

fn semiring_identifier(&self) -> &'static str

impl Serialize for SecurityLabelProvenanceSemiringV0

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SecurityLabelProvenanceSemiringV0