IndexedBits mnΒΆ

boolean.spad line 112 [edit on github]

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

~=: (%, %) -> Boolean

from BasicType

~: % -> %

from Logic

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?: % -> Boolean

from Aggregate

empty: () -> %

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: % -> Boolean

from HomogeneousAggregate Boolean

max: (%, %) -> %

from OrderedSet

max: ((Boolean, Boolean) -> Boolean, %) -> Boolean

from HomogeneousAggregate Boolean

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: % -> Boolean

from HomogeneousAggregate 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