FloatCompare

Documentation

Index

• Variables
• func Type_CompareType_() _dafny.TypeDescriptor
• type CompanionStruct_CompareType_
  • func (_this *CompanionStruct_CompareType_) IntegerRange(lo _dafny.Int, hi _dafny.Int) _dafny.Iterator
  • func (_this *CompanionStruct_CompareType_) Is_(__source int8) bool
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) AppendZeros(x _dafny.Sequence, newLength _dafny.Int) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) CleanNumber(x _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) CompareFloat(x _dafny.Sequence, y _dafny.Sequence) int8
  • func (_static *CompanionStruct_Default___) CompareFloatInner(x _dafny.Sequence, y _dafny.Sequence) int8
  • func (_static *CompanionStruct_Default___) Equal() int8
  • func (_static *CompanionStruct_Default___) Greater() int8
  • func (_static *CompanionStruct_Default___) IsNegative(x _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) IsZero(x _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) Less() int8
  • func (_static *CompanionStruct_Default___) RecognizeZero(x _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) SkipLeadingPlus(x _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) SkipLeadingSpace(val _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) SkipLeadingZeros(val _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) SkipTrailingZeros(val _dafny.Sequence) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) SplitDot(x _dafny.Sequence) _dafny.Tuple
  • func (_static *CompanionStruct_Default___) SplitE(x _dafny.Sequence) m_Wrappers.Option
  • func (_static *CompanionStruct_Default___) SplitExp(x _dafny.Sequence) _dafny.Tuple
  • func (_static *CompanionStruct_Default___) StrCmp(x _dafny.Sequence, y _dafny.Sequence) int8
  • func (_static *CompanionStruct_Default___) StrToInt(s _dafny.Sequence, acc _dafny.Int) _dafny.Int
  • func (_static *CompanionStruct_Default___) StrToIntInner(s _dafny.Sequence, acc _dafny.Int) _dafny.Int
• type CompareType
  • func New_CompareType_() *CompareType
  • func (_this *CompareType) ParentTraits_() []*_dafny.TraitID
  • func (*CompareType) String() string
• type Default__
  • func New_Default___() *Default__
  • func (_this *Default__) Equals(other *Default__) bool
  • func (_this *Default__) EqualsGeneric(x interface{}) bool
  • func (_this *Default__) ParentTraits_() []*_dafny.TraitID
  • func (*Default__) String() string
• type Dummy__

Variables

var Companion_CompareType_ = CompanionStruct_CompareType_{}

var Companion_Default___ = CompanionStruct_Default___{}

Functions

func Type_CompareType_

func Type_CompareType_() _dafny.TypeDescriptor

Types

type CompanionStruct_CompareType_

type CompanionStruct_CompareType_ struct {
}

func (*CompanionStruct_CompareType_) IntegerRange

func (_this *CompanionStruct_CompareType_) IntegerRange(lo _dafny.Int, hi _dafny.Int) _dafny.Iterator

func (*CompanionStruct_CompareType_) Is_

func (_this *CompanionStruct_CompareType_) Is_(__source int8) bool

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) AppendZeros

func (_static *CompanionStruct_Default___) AppendZeros(x _dafny.Sequence, newLength _dafny.Int) _dafny.Sequence

func (*CompanionStruct_Default___) CleanNumber

func (_static *CompanionStruct_Default___) CleanNumber(x _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) CompareFloat

func (_static *CompanionStruct_Default___) CompareFloat(x _dafny.Sequence, y _dafny.Sequence) int8

func (*CompanionStruct_Default___) CompareFloatInner

func (_static *CompanionStruct_Default___) CompareFloatInner(x _dafny.Sequence, y _dafny.Sequence) int8

func (*CompanionStruct_Default___) Equal

func (_static *CompanionStruct_Default___) Equal() int8

func (*CompanionStruct_Default___) Greater

func (_static *CompanionStruct_Default___) Greater() int8

func (*CompanionStruct_Default___) IsNegative

func (_static *CompanionStruct_Default___) IsNegative(x _dafny.Sequence) bool

func (*CompanionStruct_Default___) IsZero

func (_static *CompanionStruct_Default___) IsZero(x _dafny.Sequence) bool

func (*CompanionStruct_Default___) Less

func (_static *CompanionStruct_Default___) Less() int8

func (*CompanionStruct_Default___) RecognizeZero

func (_static *CompanionStruct_Default___) RecognizeZero(x _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) SkipLeadingPlus

func (_static *CompanionStruct_Default___) SkipLeadingPlus(x _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) SkipLeadingSpace

func (_static *CompanionStruct_Default___) SkipLeadingSpace(val _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) SkipLeadingZeros

func (_static *CompanionStruct_Default___) SkipLeadingZeros(val _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) SkipTrailingZeros

func (_static *CompanionStruct_Default___) SkipTrailingZeros(val _dafny.Sequence) _dafny.Sequence

func (*CompanionStruct_Default___) SplitDot

func (_static *CompanionStruct_Default___) SplitDot(x _dafny.Sequence) _dafny.Tuple

func (*CompanionStruct_Default___) SplitE

func (_static *CompanionStruct_Default___) SplitE(x _dafny.Sequence) m_Wrappers.Option

func (*CompanionStruct_Default___) SplitExp

func (_static *CompanionStruct_Default___) SplitExp(x _dafny.Sequence) _dafny.Tuple

func (*CompanionStruct_Default___) StrCmp

func (_static *CompanionStruct_Default___) StrCmp(x _dafny.Sequence, y _dafny.Sequence) int8

func (*CompanionStruct_Default___) StrToInt

func (_static *CompanionStruct_Default___) StrToInt(s _dafny.Sequence, acc _dafny.Int) _dafny.Int

func (*CompanionStruct_Default___) StrToIntInner

func (_static *CompanionStruct_Default___) StrToIntInner(s _dafny.Sequence, acc _dafny.Int) _dafny.Int

type CompareType

type CompareType struct {
}

Definition of class CompareType

func New_CompareType_

func New_CompareType_() *CompareType

func (*CompareType) ParentTraits_

func (_this *CompareType) ParentTraits_() []*_dafny.TraitID

func (*CompareType) String

func (*CompareType) String() string

type Default__

type Default__ struct {
	// contains filtered or unexported fields
}

Definition of class Default__

func New_Default___

func New_Default___() *Default__

func (*Default__) Equals

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String

func (*Default__) String() string

type Dummy__

type Dummy__ struct{}