TheoremType enum

Inheritance

• Object
• Enum
• TheoremType

Available extensions

• EnumName

Values

theorem → const TheoremType

lemma → const TheoremType

proposition → const TheoremType

corollary → const TheoremType

definition → const TheoremType

remark → const TheoremType

proof → const TheoremType

Properties

hashCode → int

The hash code for this object.

no setter, inherited

index → int

A numeric identifier for the enumerated value.

no setter, inherited

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

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