PUnaryOp class

Inheritance
Available Extensions

Constructors

PUnaryOp(PUnaryOpKind kind, Expr arg, int param)

Properties

arg Expr
final
hashCode int
The hash code for this object.
no setterinherited
kind PUnaryOpKind
final
param int
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.
inherited

Operators

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