UnaryOpKind enum
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 setterinherited
- index → int
-
A numeric identifier for the enumerated value.
no setterinherited
- name → String
-
Available on Enum, provided by the EnumName extension
The name of the enum value.no setter - runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
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.