Enum FunctionBody

pub enum FunctionBody {
    Sentence(ConstraintSentence),
    Term(Term),
}

Variants

Sentence(ConstraintSentence)

Term(Term)

Implementations

impl FunctionBody

pub fn is_sentence(&self) -> bool

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

pub fn is_term(&self) -> bool

pub fn as_term(&self) -> Option<&Term>

Trait Implementations

impl Clone for FunctionBody

fn clone(&self) -> FunctionBody

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionBody

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FunctionBody

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 FunctionBody

fn from(value: BooleanSentence) -> FunctionBody

Converts to this type from the input type.

impl From<ConstraintSentence> for FunctionBody

fn from(value: ConstraintSentence) -> FunctionBody

Converts to this type from the input type.

impl From<FunctionComposition> for FunctionBody

fn from(value: FunctionComposition) -> FunctionBody

Converts to this type from the input type.

impl From<FunctionalTerm> for FunctionBody

fn from(value: FunctionalTerm) -> FunctionBody

Converts to this type from the input type.

impl From<IdentifierReference> for FunctionBody

fn from(value: IdentifierReference) -> FunctionBody

Converts to this type from the input type.

impl From<PredicateValue> for FunctionBody

fn from(value: PredicateValue) -> FunctionBody

Converts to this type from the input type.

impl From<QuantifiedSentence> for FunctionBody

fn from(value: QuantifiedSentence) -> FunctionBody

Converts to this type from the input type.

impl From<SequenceBuilder> for FunctionBody

fn from(value: SequenceBuilder) -> FunctionBody

Converts to this type from the input type.

impl From<SimpleSentence> for FunctionBody

fn from(value: SimpleSentence) -> FunctionBody

Converts to this type from the input type.

impl From<Term> for FunctionBody

fn from(value: Term) -> FunctionBody

Converts to this type from the input type.

impl Serialize for FunctionBody

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

where __S: Serializer,

Serialize this value into the given Serde serializer.