Struct UninterpretedSortHandler 

pub struct UninterpretedSortHandler { /* private fields */ }

Handler for uninterpreted sorts

Implementations

impl UninterpretedSortHandler

pub fn new() -> Self

Create a new handler

pub fn with_max_size(max_size: usize) -> Self

Create with custom universe size limit

pub fn complete_universes( &mut self, model: &mut CompletedModel, manager: &mut TermManager, ) -> Result<(), CompletionError>

Complete universes for uninterpreted sorts

pub fn stats(&self) -> &UninterpStats

Get statistics

Trait Implementations

impl Debug for UninterpretedSortHandler

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

Formats the value using the given formatter.

impl Default for UninterpretedSortHandler

fn default() -> Self

Returns the “default value” for a type.