QuaternaryOp class

Inheritance

• Object
• AST
• Expr
• QuaternaryOp

Available Extensions

• ASTExtension
• ExprExtension

Constructors

QuaternaryOp(QuaternaryOpKind kind, Expr arg0, Expr arg1, Expr arg2, Expr arg3)

Properties

arg0 → Expr

final

arg1 → Expr

final

arg2 → Expr

final

arg3 → Expr

final

hashCode → int

The hash code for this object.

no setter, inherited

kind → QuaternaryOpKind

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

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.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited