Exists class

Inheritance
Available Extensions

Constructors

Exists(Map<Sym, Sort> args, Expr body, {int weight = 0, List<Pat> patterns = const [], List<Expr> noPatterns = const [], Sym? id, Sym? skolem})
Exists.bind(Context context, List<ConstVar> bound, AST body, {int weight = 0, List<Pat> patterns = const [], List<AST> noPatterns = const [], Sym? id, Sym? skolem})
factory

Properties

args Map<Sym, Sort>
final
body Expr
final
hashCode int
The hash code for this object.
no setterinherited
id Sym?
final
noPatterns List<Expr>
final
patterns List<Pat>
final
runtimeType Type
A representation of the runtime type of the object.
no setterinherited
skolem Sym?
final
weight int
final

Methods

build(Context c) Z3_ast
override
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() String
A string representation of this object.
override

Operators

operator ==(Object other) bool
The equality operator.
inherited