UnaryOpKind enum

Inheritance

• Object
• Enum
• UnaryOpKind

Constructors

UnaryOpKind()

const

Values

not → const UnaryOpKind

unaryMinus → const UnaryOpKind

intToReal → const UnaryOpKind

realToInt → const UnaryOpKind

isInt → const UnaryOpKind

bvNot → const UnaryOpKind

bvRedAnd → const UnaryOpKind

bvRedOr → const UnaryOpKind

bvNeg → const UnaryOpKind

arrayDefault → const UnaryOpKind

setComplement → const UnaryOpKind

seqUnit → const UnaryOpKind

seqLength → const UnaryOpKind

strToInt → const UnaryOpKind

intToStr → const UnaryOpKind

strToCode → const UnaryOpKind

codeToStr → const UnaryOpKind

ubvToStr → const UnaryOpKind

sbvToStr → const UnaryOpKind

seqToRe → const UnaryOpKind

rePlus → const UnaryOpKind

reStar → const UnaryOpKind

reOption → const UnaryOpKind

reComplement → const UnaryOpKind

charToInt → const UnaryOpKind

charToBv → const UnaryOpKind

bvToChar → const UnaryOpKind

charIsDigit → const UnaryOpKind

fpaAbs → const UnaryOpKind

fpaNeg → const UnaryOpKind

fpaIsNormal → const UnaryOpKind

fpaIsSubnormal → const UnaryOpKind

fpaIsZero → const UnaryOpKind

fpaIsInfinite → const UnaryOpKind

fpaIsNaN → const UnaryOpKind

fpaIsNegative → const UnaryOpKind

fpaIsPositive → const UnaryOpKind

fpaToReal → const UnaryOpKind

fpaToIeeeBv → const UnaryOpKind

Properties

hashCode → int

The hash code for this object.

no setter, inherited

index → int

A numeric identifier for the enumerated value.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

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

Constants

values → const List<UnaryOpKind>

A constant List of the values in this enum, in order of their declaration.