Enum TheoryAttribute

pub enum TheoryAttribute<'st> {
    Sorts(&'st [SortSymbolDecl<'st>]),
    Funs(&'st [ParFunSymbolDecl<'st>]),
    SortsDescription(&'st str),
    FunsDescription(&'st str),
    Definition(&'st str),
    Values(&'st str),
    Notes(&'st str),
    Attribute(Attribute<'st>),
}

Variants

Sorts(&'st [SortSymbolDecl<'st>])

:sorts (<sort_symbol_decl>+)

Funs(&'st [ParFunSymbolDecl<'st>])

:funs (<par_fun_symbol_decl>+)

SortsDescription(&'st str)

:sorts-description <string>

FunsDescription(&'st str)

:funs-description <string>

Definition(&'st str)

:definition <string>

Values(&'st str)

:values <string>

Notes(&'st str)

:notes <string>

Attribute(Attribute<'st>)

<attribute>

Implementations

impl<'st> TheoryAttribute<'st>

pub fn parse( st: &'st Storage, src: &str, ) -> Result<TheoryAttribute<'st>, ParseError>

Trait Implementations

impl<'st> Clone for TheoryAttribute<'st>

fn clone(&self) -> TheoryAttribute<'st>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'st> Debug for TheoryAttribute<'st>

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

Formats the value using the given formatter.

impl Display for TheoryAttribute<'_>

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

Formats the value using the given formatter.

impl<'st> Hash for TheoryAttribute<'st>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'st> PartialEq for TheoryAttribute<'st>

fn eq(&self, other: &TheoryAttribute<'st>) -> 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<'st> Copy for TheoryAttribute<'st>

impl<'st> Eq for TheoryAttribute<'st>

impl<'st> StructuralPartialEq for TheoryAttribute<'st>