BitStreamFrameΒΆ

logic.spad line 4088 [edit on github]

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

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