Header menu logo F# Header menu logo Averest

Ops2 Type

Ops2 declares an enumeration type of the binary operators of the MiniC language (this makes is flexible to add operators). Available operators are:

  • AddN,SubN,MulN,DivN,ModN for addition, subtraction, multiplication, division and modulo operations of Cnat values. The result of these operations is a Cnat value.
  • AddZ,SubZ,MulZ,DivZ,ModZ for addition, subtraction, multiplication, division and modulo operations of Cint values. The result of these operations is a Cint value.
  • LesN,LeqN,EqqN,NeqN for less-than, less-than-or-equal, equal, and inequal relation of Cnat values. The result of these operations is a Cbool value.
  • LesZ,LeqZ,EqqZ,NeqZ for less-than, less-than-or-equal, equal, and inequal relation of Cint values. The result of these operations is a Cbool value.
  • AndB,OrB,EqqB,NeqB for bitwise conjunction, disjunction, equivalence and exclusive-or operation on Cbool values. The result of these operations is a Cbool value.

Union cases

Union case Description

AddN

Full Usage: AddN

AddZ

Full Usage: AddZ

AndB

Full Usage: AndB

DivN

Full Usage: DivN

DivZ

Full Usage: DivZ

EqqB

Full Usage: EqqB

EqqN

Full Usage: EqqN

EqqZ

Full Usage: EqqZ

LeqN

Full Usage: LeqN

LeqZ

Full Usage: LeqZ

LesN

Full Usage: LesN

LesZ

Full Usage: LesZ

ModN

Full Usage: ModN

ModZ

Full Usage: ModZ

MulN

Full Usage: MulN

MulZ

Full Usage: MulZ

NeqB

Full Usage: NeqB

NeqN

Full Usage: NeqN

NeqZ

Full Usage: NeqZ

OrB

Full Usage: OrB

SubN

Full Usage: SubN

SubZ

Full Usage: SubZ

Instance members

Instance member Description

this.IsAddN

Full Usage: this.IsAddN

Returns: bool
Returns: bool

this.IsAddZ

Full Usage: this.IsAddZ

Returns: bool
Returns: bool

this.IsAndB

Full Usage: this.IsAndB

Returns: bool
Returns: bool

this.IsDivN

Full Usage: this.IsDivN

Returns: bool
Returns: bool

this.IsDivZ

Full Usage: this.IsDivZ

Returns: bool
Returns: bool

this.IsEqqB

Full Usage: this.IsEqqB

Returns: bool
Returns: bool

this.IsEqqN

Full Usage: this.IsEqqN

Returns: bool
Returns: bool

this.IsEqqZ

Full Usage: this.IsEqqZ

Returns: bool
Returns: bool

this.IsLeqN

Full Usage: this.IsLeqN

Returns: bool
Returns: bool

this.IsLeqZ

Full Usage: this.IsLeqZ

Returns: bool
Returns: bool

this.IsLesN

Full Usage: this.IsLesN

Returns: bool
Returns: bool

this.IsLesZ

Full Usage: this.IsLesZ

Returns: bool
Returns: bool

this.IsModN

Full Usage: this.IsModN

Returns: bool
Returns: bool

this.IsModZ

Full Usage: this.IsModZ

Returns: bool
Returns: bool

this.IsMulN

Full Usage: this.IsMulN

Returns: bool
Returns: bool

this.IsMulZ

Full Usage: this.IsMulZ

Returns: bool
Returns: bool

this.IsNeqB

Full Usage: this.IsNeqB

Returns: bool
Returns: bool

this.IsNeqN

Full Usage: this.IsNeqN

Returns: bool
Returns: bool

this.IsNeqZ

Full Usage: this.IsNeqZ

Returns: bool
Returns: bool

this.IsOrB

Full Usage: this.IsOrB

Returns: bool
Returns: bool

this.IsSubN

Full Usage: this.IsSubN

Returns: bool
Returns: bool

this.IsSubZ

Full Usage: this.IsSubZ

Returns: bool
Returns: bool

this.getName ()

Full Usage: this.getName ()

Returns: string
Returns: string

Type something to start searching.