BinaryOp class
- Inheritance
- Available extensions
Constructors
- BinaryOp(BinaryOpKind kind, Expr arg0, Expr arg1)
Properties
- arg0 → Expr
-
final
- arg1 → Expr
-
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- kind → BinaryOpKind
-
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
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