Struct z3::ast::Set [−][src]
pub struct Set<'ctx> { /* fields omitted */ }
Expand description
Ast
node representing a set value.
Implementations
Creates a set that maps the domain to false by default
Add an element to the set.
Note that the element
must be of the Set
’s eltype
sort.
Remove an element from the set.
Note that the element
must be of the Set
’s eltype
sort.
Check if an item is a member of the set.
Note that the element
must be of the Set
’s eltype
sort.
Take the intersection of a list of sets.
Take the union of a list of sets.
Take the complement of the set.
Check if the set is a subset of another set.
Take the set difference between two sets.
Trait Implementations
Compare this Ast
with another Ast
, and get a Result. Errors if the sort does not
match for the two values. Read more
Simplify the Ast
. Returns a new Ast
which is equivalent,
but simplified using algebraic simplification rules, such as
constant propagation. Read more
Performs substitution on the Ast
. The slice substitutions
contains a
list of pairs with a “from” Ast
that will be substituted by a “to” Ast
. Read more
Return the number of children of this Ast
. Read more
Return the n
th child of this Ast
. Read more
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for Set<'ctx>
impl<'ctx> UnwindSafe for Set<'ctx>
Blanket Implementations
Mutably borrows from an owned value. Read more