IndexedBits mnΒΆ

boolean.spad line 112

IndexedBits is a domain to compactly represent large quantities of Boolean data.

#: % -> NonNegativeInteger
from Aggregate
/\: (%, %) -> %
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: (%, %) -> %
And(n, m) returns the bit-by-bit logical And of n and m.
and: (%, %) -> %
from BitAggregate
any?: (Boolean -> Boolean, %) -> Boolean
from HomogeneousAggregate Boolean
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
copyInto!: (%, %, Integer) -> %
from LinearAggregate Boolean
count: (Boolean -> Boolean, %) -> NonNegativeInteger
from HomogeneousAggregate Boolean
count: (Boolean, %) -> NonNegativeInteger
from HomogeneousAggregate Boolean
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)
entry?: (Boolean, %) -> 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
every?: (Boolean -> Boolean, %) -> Boolean
from HomogeneousAggregate Boolean
false: %
from Logic
fill!: (%, Boolean) -> %
from IndexedAggregate(Integer, Boolean)
find: (Boolean -> Boolean, %) -> Union(Boolean, failed)
from Collection Boolean
first: % -> Boolean
from IndexedAggregate(Integer, Boolean)
first: (%, NonNegativeInteger) -> %
from LinearAggregate 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
leftTrim: (%, Boolean) -> %
from LinearAggregate Boolean
less?: (%, NonNegativeInteger) -> Boolean
from Aggregate
map!: (Boolean -> Boolean, %) -> %
from HomogeneousAggregate Boolean
map: ((Boolean, Boolean) -> Boolean, %, %) -> %
from LinearAggregate Boolean
map: (Boolean -> Boolean, %) -> %
from HomogeneousAggregate Boolean
max: (%, %) -> %
from OrderedSet
maxIndex: % -> Integer
from IndexedAggregate(Integer, Boolean)
member?: (Boolean, %) -> Boolean
from HomogeneousAggregate Boolean
members: % -> List Boolean
from HomogeneousAggregate Boolean
merge: (%, %) -> %
from LinearAggregate Boolean
merge: ((Boolean, Boolean) -> Boolean, %, %) -> %
from LinearAggregate Boolean
min: (%, %) -> %
from OrderedSet
minIndex: % -> Integer
from IndexedAggregate(Integer, Boolean)
more?: (%, NonNegativeInteger) -> Boolean
from Aggregate
nand: (%, %) -> %
from BitAggregate
new: (NonNegativeInteger, Boolean) -> %
from LinearAggregate Boolean
nor: (%, %) -> %
from BitAggregate
Not: % -> %
Not(n) returns the bit-by-bit logical Not of n.
not: % -> %
from BitAggregate
or: (%, %) -> %
from BitAggregate
Or: (%, %) -> %
Or(n, m) returns the bit-by-bit logical Or of n and m.
parts: % -> List Boolean
from HomogeneousAggregate Boolean
position: (Boolean -> Boolean, %) -> Integer
from LinearAggregate Boolean
position: (Boolean, %) -> Integer
from LinearAggregate Boolean
position: (Boolean, %, Integer) -> Integer
from LinearAggregate Boolean
qelt: (%, Integer) -> Boolean
from EltableAggregate(Integer, Boolean)
qsetelt!: (%, Integer, Boolean) -> Boolean
from EltableAggregate(Integer, Boolean)
reduce: ((Boolean, Boolean) -> Boolean, %) -> Boolean
from Collection Boolean
reduce: ((Boolean, Boolean) -> Boolean, %, Boolean) -> Boolean
from Collection Boolean
reduce: ((Boolean, Boolean) -> Boolean, %, Boolean, Boolean) -> Boolean
from Collection Boolean
remove: (Boolean -> Boolean, %) -> %
from Collection Boolean
remove: (Boolean, %) -> %
from Collection Boolean
removeDuplicates: % -> %
from Collection Boolean
reverse!: % -> %
from LinearAggregate Boolean
reverse: % -> %
from LinearAggregate Boolean
rightTrim: (%, Boolean) -> %
from LinearAggregate Boolean
sample: %
from Aggregate
select: (Boolean -> Boolean, %) -> %
from Collection Boolean
setelt!: (%, Integer, Boolean) -> Boolean
from EltableAggregate(Integer, Boolean)
setelt!: (%, UniversalSegment Integer, Boolean) -> Boolean
from LinearAggregate Boolean
size?: (%, NonNegativeInteger) -> Boolean
from Aggregate
smaller?: (%, %) -> Boolean
from Comparable
sort!: % -> %
from LinearAggregate Boolean
sort!: ((Boolean, Boolean) -> Boolean, %) -> %
from LinearAggregate Boolean
sort: % -> %
from LinearAggregate Boolean
sort: ((Boolean, Boolean) -> Boolean, %) -> %
from LinearAggregate Boolean
sorted?: % -> Boolean
from LinearAggregate Boolean
sorted?: ((Boolean, Boolean) -> Boolean, %) -> Boolean
from LinearAggregate Boolean
swap!: (%, Integer, Integer) -> Void
from IndexedAggregate(Integer, Boolean)
T: %
from BoundedMeetSemilattice
trim: (%, Boolean) -> %
from LinearAggregate Boolean
true: %
from Logic
xor: (%, %) -> %
from BitAggregate

Aggregate

BasicType

BitAggregate

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