Enum sdml_core::model::constraints::EnvironmentDefBody

pub enum EnvironmentDefBody {
    Function(FunctionDef),
    Value(PredicateValue),
    Sentence(ConstraintSentence),
}

Variants

Function(FunctionDef)

Value(PredicateValue)

Sentence(ConstraintSentence)

Implementations

impl EnvironmentDefBody

pub const fn is_value(&self) -> bool

pub const fn as_value(&self) -> Option<&PredicateValue>

pub const fn is_function(&self) -> bool

pub const fn as_function(&self) -> Option<&FunctionDef>

pub const fn is_sentence(&self) -> bool

pub const fn as_sentence(&self) -> Option<&ConstraintSentence>

Trait Implementations

impl Clone for EnvironmentDefBody

fn clone(&self) -> EnvironmentDefBody

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for EnvironmentDefBody

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EnvironmentDefBody

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<BooleanSentence> for EnvironmentDefBody

fn from(v: BooleanSentence) -> Self

Converts to this type from the input type.

impl From<ConstraintSentence> for EnvironmentDefBody

fn from(v: ConstraintSentence) -> Self

Converts to this type from the input type.

impl From<FunctionDef> for EnvironmentDefBody

fn from(v: FunctionDef) -> Self

Converts to this type from the input type.

impl From<PredicateValue> for EnvironmentDefBody

fn from(v: PredicateValue) -> Self

Converts to this type from the input type.

impl From<QuantifiedSentence> for EnvironmentDefBody

fn from(v: QuantifiedSentence) -> Self

Converts to this type from the input type.

impl From<SequenceOfPredicateValues> for EnvironmentDefBody

fn from(v: SequenceOfPredicateValues) -> Self

Converts to this type from the input type.

impl From<SimpleSentence> for EnvironmentDefBody

fn from(v: SimpleSentence) -> Self

Converts to this type from the input type.

impl From<SimpleValue> for EnvironmentDefBody

fn from(v: SimpleValue) -> Self

Converts to this type from the input type.

impl HasBody<EnvironmentDefBody> for EnvironmentDef

fn body(&self) -> &EnvironmentDefBody

Get the body of the enclosing type.

fn body_mut(&mut self) -> &mut EnvironmentDefBody

Get a mutable reference to the body of the enclosing type.

fn set_body(&mut self, body: EnvironmentDefBody)

Set the body of the enclosing type.

impl Serialize for EnvironmentDefBody

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

where __S: Serializer,

Serialize this value into the given Serde serializer.