BinaryOpKind enum

Inheritance

• Object
• Enum
• BinaryOpKind

Constructors

BinaryOpKind()

const

Values

eq → const BinaryOpKind

implies → const BinaryOpKind

xor → const BinaryOpKind

div → const BinaryOpKind

mod → const BinaryOpKind

rem → const BinaryOpKind

pow → const BinaryOpKind

lt → const BinaryOpKind

le → const BinaryOpKind

gt → const BinaryOpKind

ge → const BinaryOpKind

bvAnd → const BinaryOpKind

bvOr → const BinaryOpKind

bvXor → const BinaryOpKind

bvNand → const BinaryOpKind

bvNor → const BinaryOpKind

bvXnor → const BinaryOpKind

bvAdd → const BinaryOpKind

bvSub → const BinaryOpKind

bvMul → const BinaryOpKind

bvUdiv → const BinaryOpKind

bvSdiv → const BinaryOpKind

bvUrem → const BinaryOpKind

bvSrem → const BinaryOpKind

bvSmod → const BinaryOpKind

bvUlt → const BinaryOpKind

bvSlt → const BinaryOpKind

bvUle → const BinaryOpKind

bvSle → const BinaryOpKind

bvUge → const BinaryOpKind

bvSge → const BinaryOpKind

bvUgt → const BinaryOpKind

bvSgt → const BinaryOpKind

bvConcat → const BinaryOpKind

bvShl → const BinaryOpKind

bvLshr → const BinaryOpKind

bvAshr → const BinaryOpKind

bvRotl → const BinaryOpKind

bvRotr → const BinaryOpKind

bvUMulNoOverflow → const BinaryOpKind

bvSMulNoOverflow → const BinaryOpKind

bvSMulNoUnderflow → const BinaryOpKind

setDifference → const BinaryOpKind

setSubset → const BinaryOpKind

seqPrefix → const BinaryOpKind

seqSuffix → const BinaryOpKind

seqContains → const BinaryOpKind

strLt → const BinaryOpKind

strLe → const BinaryOpKind

seqAt → const BinaryOpKind

seqNth → const BinaryOpKind

seqLastIndex → const BinaryOpKind

seqInRe → const BinaryOpKind

reRange → const BinaryOpKind

reDiff → const BinaryOpKind

charLe → const BinaryOpKind

fpaSqrt → const BinaryOpKind

fpaRem → const BinaryOpKind

fpaMin → const BinaryOpKind

fpaMax → const BinaryOpKind

fpaLeq → const BinaryOpKind

fpaLt → const BinaryOpKind

fpaGeq → const BinaryOpKind

fpaGt → const BinaryOpKind

fpaEq → const BinaryOpKind

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<BinaryOpKind>

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