pub enum FunctionBody {
Sentence(ConstraintSentence),
Term(Term),
}
Variants§
Sentence(ConstraintSentence)
Term(Term)
Implementations§
Source§impl FunctionBody
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§
Source§impl Clone for FunctionBody
impl Clone for FunctionBody
Source§fn clone(&self) -> FunctionBody
fn clone(&self) -> FunctionBody
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for FunctionBody
impl Debug for FunctionBody
Source§impl<'de> Deserialize<'de> for FunctionBody
impl<'de> Deserialize<'de> for FunctionBody
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl From<BooleanSentence> for FunctionBody
impl From<BooleanSentence> for FunctionBody
Source§fn from(value: BooleanSentence) -> FunctionBody
fn from(value: BooleanSentence) -> FunctionBody
Converts to this type from the input type.
Source§impl From<ConstraintSentence> for FunctionBody
impl From<ConstraintSentence> for FunctionBody
Source§fn from(value: ConstraintSentence) -> FunctionBody
fn from(value: ConstraintSentence) -> FunctionBody
Converts to this type from the input type.
Source§impl From<FunctionComposition> for FunctionBody
impl From<FunctionComposition> for FunctionBody
Source§fn from(value: FunctionComposition) -> FunctionBody
fn from(value: FunctionComposition) -> FunctionBody
Converts to this type from the input type.
Source§impl From<FunctionalTerm> for FunctionBody
impl From<FunctionalTerm> for FunctionBody
Source§fn from(value: FunctionalTerm) -> FunctionBody
fn from(value: FunctionalTerm) -> FunctionBody
Converts to this type from the input type.
Source§impl From<IdentifierReference> for FunctionBody
impl From<IdentifierReference> for FunctionBody
Source§fn from(value: IdentifierReference) -> FunctionBody
fn from(value: IdentifierReference) -> FunctionBody
Converts to this type from the input type.
Source§impl From<PredicateValue> for FunctionBody
impl From<PredicateValue> for FunctionBody
Source§fn from(value: PredicateValue) -> FunctionBody
fn from(value: PredicateValue) -> FunctionBody
Converts to this type from the input type.
Source§impl From<QuantifiedSentence> for FunctionBody
impl From<QuantifiedSentence> for FunctionBody
Source§fn from(value: QuantifiedSentence) -> FunctionBody
fn from(value: QuantifiedSentence) -> FunctionBody
Converts to this type from the input type.
Source§impl From<SequenceBuilder> for FunctionBody
impl From<SequenceBuilder> for FunctionBody
Source§fn from(value: SequenceBuilder) -> FunctionBody
fn from(value: SequenceBuilder) -> FunctionBody
Converts to this type from the input type.
Source§impl From<SimpleSentence> for FunctionBody
impl From<SimpleSentence> for FunctionBody
Source§fn from(value: SimpleSentence) -> FunctionBody
fn from(value: SimpleSentence) -> FunctionBody
Converts to this type from the input type.
Source§impl From<Term> for FunctionBody
impl From<Term> for FunctionBody
Source§fn from(value: Term) -> FunctionBody
fn from(value: Term) -> FunctionBody
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for FunctionBody
impl RefUnwindSafe for FunctionBody
impl Send for FunctionBody
impl Sync for FunctionBody
impl Unpin for FunctionBody
impl UnwindSafe for FunctionBody
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more