ConstrDeclFlat

scalus.flat.FlatInstantces.ConstrDeclFlat

Attributes

Graph
Supertypes
Self type

Members list

Type members

Inherited types

Attributes

Inherited from:
HashConsedReprFlat

Value members

Concrete methods

def bitSizeHCNew(a: ConstrDecl, hashConsed: State): Int

Attributes

Definition Classes

Attributes

Definition Classes
def tag: Tag

Attributes

Definition Classes

Inherited methods

override def bitSizeHC(a: ConstrDecl, encoderState: State): Int

Attributes

Definition Classes
Inherited from:
HashConsedMutRefReprFlat

Attributes

Definition Classes
Inherited from:
HashConsedMutRefReprFlat
override def encodeHC(a: ConstrDecl, encoderState: HashConsedEncoderState): Unit

Attributes

Definition Classes
Inherited from:
HashConsedMutRefReprFlat