Exists class
- Inheritance
-
- Object
- AST
- Expr
- Quantifier
- Exists
- 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