docs
API
Generated with
docs/scalus/scalus.flat/FlatInstantces/ConstrDeclFlat

ConstrDeclFlat

scalus.flat.FlatInstantces.ConstrDeclFlat
object ConstrDeclFlat extends HashConsedMutRefReprFlat[ConstrDecl, HashConsedRef[ConstrDecl]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Inherited types

type Repr = HashConsedRef[ConstrDecl]

Attributes

Inherited from:
HashConsedReprFlat

Value members

Concrete methods

def bitSizeHCNew(a: ConstrDecl, hashConsed: State): Int
override def saFromForward(state: State, fw: ForwardRefAcceptor): HashConsedRef[ConstrDecl]

Attributes

Definition Classes
override def saFromRef(ref: HashConsedRef[ConstrDecl]): HashConsedRef[ConstrDecl]

Attributes

Definition Classes
def tag: Tag
override def toRepr(a: ConstrDecl): HashConsedRef[ConstrDecl]

Attributes

Definition Classes

Inherited methods

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

Attributes

Definition Classes
Inherited from:
HashConsedMutRefReprFlat
override def decodeHC(decoderState: HashConsedDecoderState): HashConsedRef[ConstrDecl]

Attributes

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

Attributes

Definition Classes
Inherited from:
HashConsedMutRefReprFlat
Generated with