BitAggregateΒΆ

aggcat.spad line 2491

The bit aggregate category models aggregates representing large quantities of Boolean data.

/\: (%, %) -> %
from MeetSemilattice
<: (%, %) -> Boolean
from PartialOrder
<=: (%, %) -> Boolean
from PartialOrder
=: (%, %) -> Boolean
from BasicType
>: (%, %) -> Boolean
from PartialOrder
>=: (%, %) -> Boolean
from PartialOrder
\/: (%, %) -> %
from JoinSemilattice
_|_: %
from BoundedJoinSemilattice
~: % -> %
from Logic
~=: (%, %) -> Boolean
from BasicType
and: (%, %) -> %
a and b returns the logical and of bit aggregates a and b.
coerce: % -> OutputForm
from CoercibleTo OutputForm
concat: (%, %) -> %
from LinearAggregate Boolean
concat: (%, Boolean) -> %
from LinearAggregate Boolean
concat: (Boolean, %) -> %
from LinearAggregate Boolean
concat: List % -> %
from LinearAggregate Boolean
construct: List Boolean -> %
from Collection Boolean
convert: % -> InputForm
from ConvertibleTo InputForm
copy: % -> %
from Aggregate
delete: (%, Integer) -> %
from LinearAggregate Boolean
delete: (%, UniversalSegment Integer) -> %
from LinearAggregate Boolean
elt: (%, Integer) -> Boolean
from Eltable(Integer, Boolean)
elt: (%, Integer, Boolean) -> Boolean
from EltableAggregate(Integer, Boolean)
elt: (%, UniversalSegment Integer) -> %
from Eltable(UniversalSegment Integer, %)
empty: () -> %
from Aggregate
empty?: % -> Boolean
from Aggregate
entries: % -> List Boolean
from IndexedAggregate(Integer, Boolean)
eq?: (%, %) -> Boolean
from Aggregate
eval: (%, Boolean, Boolean) -> % if Boolean has Evalable Boolean
from InnerEvalable(Boolean, Boolean)
eval: (%, Equation Boolean) -> % if Boolean has Evalable Boolean
from Evalable Boolean
eval: (%, List Boolean, List Boolean) -> % if Boolean has Evalable Boolean
from InnerEvalable(Boolean, Boolean)
eval: (%, List Equation Boolean) -> % if Boolean has Evalable Boolean
from Evalable Boolean
find: (Boolean -> Boolean, %) -> Union(Boolean, failed)
from Collection Boolean
first: % -> Boolean
from IndexedAggregate(Integer, Boolean)
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
index?: (Integer, %) -> Boolean
from IndexedAggregate(Integer, Boolean)
indices: % -> List Integer
from IndexedAggregate(Integer, Boolean)
insert: (%, %, Integer) -> %
from LinearAggregate Boolean
insert: (Boolean, %, Integer) -> %
from LinearAggregate Boolean
latex: % -> String
from SetCategory
less?: (%, NonNegativeInteger) -> Boolean
from Aggregate
map: ((Boolean, Boolean) -> Boolean, %, %) -> %
from LinearAggregate Boolean
map: (Boolean -> Boolean, %) -> %
from HomogeneousAggregate Boolean
max: (%, %) -> %
from OrderedSet
maxIndex: % -> Integer
from IndexedAggregate(Integer, Boolean)
min: (%, %) -> %
from OrderedSet
minIndex: % -> Integer
from IndexedAggregate(Integer, Boolean)
more?: (%, NonNegativeInteger) -> Boolean
from Aggregate
nand: (%, %) -> %
nand(a, b) returns the logical nand of bit aggregates a and b.
new: (NonNegativeInteger, Boolean) -> %
from LinearAggregate Boolean
nor: (%, %) -> %
nor(a, b) returns the logical nor of bit aggregates a and b.
not: % -> %
not(b) returns the logical not of bit aggregate b.
or: (%, %) -> %
a or b returns the logical or of bit aggregates a and b.
qelt: (%, Integer) -> Boolean
from EltableAggregate(Integer, Boolean)
sample: %
from Aggregate
size?: (%, NonNegativeInteger) -> Boolean
from Aggregate
smaller?: (%, %) -> Boolean
from Comparable
T: %
from BoundedMeetSemilattice
xor: (%, %) -> %
xor(a, b) returns the logical exclusive-or of bit aggregates a and b.

Aggregate

BasicType

BoundedDistributiveLattice

BoundedJoinSemilattice

BoundedLattice

BoundedMeetSemilattice

CoercibleTo OutputForm

Collection Boolean

Comparable

ConvertibleTo InputForm

DistributiveLattice

Eltable(Integer, Boolean)

Eltable(UniversalSegment Integer, %)

EltableAggregate(Integer, Boolean)

Evalable Boolean if Boolean has Evalable Boolean

finiteAggregate

FiniteLinearAggregate Boolean

HomogeneousAggregate Boolean

IndexedAggregate(Integer, Boolean)

InnerEvalable(Boolean, Boolean) if Boolean has Evalable Boolean

JoinSemilattice

Lattice

LinearAggregate Boolean

Logic

MeetSemilattice

OneDimensionalArrayAggregate Boolean

OrderedSet

PartialOrder

SetCategory

shallowlyMutable