Struct z3::ast::String [−][src]
pub struct String<'ctx> { /* fields omitted */ }
Expand description
Ast
node representing a string value.
Implementations
Creates a new constant using the built-in string sort
Creates a fresh constant using the built-in string sort
Creates a Z3 constant string from a &str
Retrieves the underlying std::string::String
If this is not a constant z3::ast::String
, return None
.
Note that to_string()
provided by std::string::ToString
(which uses
std::fmt::Display
) returns an escaped string. In contrast,
z3::ast::String::from_str(&ctx, s).unwrap().as_string()
returns a
String
equal to the original value.
Appends the argument strings to Self
Checks whether Self
is a prefix of the argument
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 String<'ctx>
impl<'ctx> UnwindSafe for String<'ctx>
Blanket Implementations
Mutably borrows from an owned value. Read more