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