BitStreamFrameΒΆ

logic.spad line 4236

An example of a frame taken from Vickers section 3.7 Date Created: Aug 2015

/\: (%, %) -> %
from MeetSemilattice
=: (%, %) -> Boolean
from BasicType
\/: (%, %) -> %
from JoinSemilattice
~=: (%, %) -> Boolean
from BasicType
coerce: % -> OutputForm
from CoercibleTo OutputForm
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
latex: % -> String
from SetCategory
starts: List Boolean -> %
construct bit stream
starts: String -> %
construct bit stream by parsing string containing 0, 1 and *

BasicType

CoercibleTo OutputForm

JoinSemilattice

Lattice

MeetSemilattice

SetCategory