Enum smt2::AbstractGroundSort

pub enum AbstractGroundSort<T> {
    Sort {
        sort: T,
        parameters: Vec<AbstractGroundSort<T>>,
    },
    Param(usize),
}

A ground sort with sort parameter variables, used in a datatype declaration. Parameters are identified with their index.

Variants

Sort

Fields of Sort

sort: Tparameters: Vec<AbstractGroundSort<T>>

Param(usize)

Implementations

impl<T: Clone + PartialEq> AbstractGroundSort<T>

pub fn as_type_ref(&self, context: &[TypeRef<T>]) -> TypeRef<T> where
    T: Debug, 

pub fn instanciate(
    &self,
    context: &[GroundSort<T>]
) -> Result<GroundSort<T>, ()>

Try to instanciate the abstract ground sort with the given parameters.

Trait Implementations

impl<T: Clone> Clone for AbstractGroundSort<T>

fn clone(&self) -> AbstractGroundSort<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Display> Display for AbstractGroundSort<T>

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

Formats the value using the given formatter.

impl<'a, T: Clone> From<&'a GroundSort<T>> for AbstractGroundSort<T>

fn from(sort: &'a GroundSort<T>) -> AbstractGroundSort<T>

Performs the conversion.