BitAggregate

aggcat.spad line 2609 [edit on github]

The bit aggregate category models aggregates representing 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

T : () -> %

from BoundedMeetSemilattice

\/ : (%, %) -> %

from JoinSemilattice

_|_ : () -> %

from BoundedJoinSemilattice

and : (%, %) -> %

a and b returns the logical and of bit aggregates a and b.

any? : (Mapping(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, %) -> NonNegativeInteger

from HomogeneousAggregate(Boolean)

count : (Mapping(Boolean, Boolean), %) -> NonNegativeInteger

from HomogeneousAggregate(Boolean)

delete : (%, Integer) -> %

from LinearAggregate(Boolean)

delete : (%, UniversalSegment(Integer)) -> %

from LinearAggregate(Boolean)

elt : (%, UniversalSegment(Integer)) -> %

from Eltable(UniversalSegment(Integer), %)

elt : (%, Integer) -> Boolean

from Eltable(Integer, Boolean)

elt : (%, Integer, Boolean) -> Boolean

from EltableAggregate(Integer, Boolean)

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? : (Mapping(Boolean, Boolean), %) -> Boolean

from HomogeneousAggregate(Boolean)

false : () -> %

from Logic

fill! : (%, Boolean) -> %

from IndexedAggregate(Integer, Boolean)

find : (Mapping(Boolean, Boolean), %) -> Union(Boolean, "failed")

from Collection(Boolean)

first : (%, NonNegativeInteger) -> %

from LinearAggregate(Boolean)

first : % -> Boolean

from IndexedAggregate(Integer, Boolean)

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

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 : (Mapping(Boolean, Boolean), %) -> %

from HomogeneousAggregate(Boolean)

map : (Mapping(Boolean, Boolean, Boolean), %, %) -> %

from LinearAggregate(Boolean)

map! : (Mapping(Boolean, Boolean), %) -> %

from HomogeneousAggregate(Boolean)

max : (%, %) -> %

from OrderedSet

max : % -> Boolean

from HomogeneousAggregate(Boolean)

max : (Mapping(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 : (Mapping(Boolean, Boolean, Boolean), %, %) -> %

from LinearAggregate(Boolean)

min : (%, %) -> %

from OrderedSet

min : % -> Boolean

from HomogeneousAggregate(Boolean)

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.

parts : % -> List(Boolean)

from HomogeneousAggregate(Boolean)

position : (Boolean, %) -> Integer

from LinearAggregate(Boolean)

position : (Boolean, %, Integer) -> Integer

from LinearAggregate(Boolean)

position : (Mapping(Boolean, Boolean), %) -> Integer

from LinearAggregate(Boolean)

qelt : (%, Integer) -> Boolean

from EltableAggregate(Integer, Boolean)

qsetelt! : (%, Integer, Boolean) -> Boolean

from EltableAggregate(Integer, Boolean)

reduce : (Mapping(Boolean, Boolean, Boolean), %) -> Boolean

from Collection(Boolean)

reduce : (Mapping(Boolean, Boolean, Boolean), %, Boolean) -> Boolean

from Collection(Boolean)

reduce : (Mapping(Boolean, Boolean, Boolean), %, Boolean, Boolean) -> Boolean

from Collection(Boolean)

remove : (Boolean, %) -> %

from Collection(Boolean)

remove : (Mapping(Boolean, 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 : (Mapping(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 : (Mapping(Boolean, Boolean, Boolean), %) -> %

from LinearAggregate(Boolean)

sort! : % -> %

from LinearAggregate(Boolean)

sort! : (Mapping(Boolean, Boolean, Boolean), %) -> %

from LinearAggregate(Boolean)

sorted? : % -> Boolean

from LinearAggregate(Boolean)

sorted? : (Mapping(Boolean, Boolean, Boolean), %) -> Boolean

from LinearAggregate(Boolean)

swap! : (%, Integer, Integer) -> Void

from IndexedAggregate(Integer, Boolean)

trim : (%, Boolean) -> %

from LinearAggregate(Boolean)

true : () -> %

from Logic

xor : (%, %) -> %

xor(a, b) returns the logical exclusive-or of bit aggregates a and b.

~ : % -> %

from Logic

~= : (%, %) -> Boolean

from BasicType

BoundedMeetSemilattice

Comparable

ConvertibleTo(InputForm)

shallowlyMutable

Aggregate

MeetSemilattice

BasicType

Eltable(Integer, Boolean)

OneDimensionalArrayAggregate(Boolean)

BoundedLattice

HomogeneousAggregate(Boolean)

Collection(Boolean)

OrderedSet

Lattice

DistributiveLattice

SetCategory

Evalable(Boolean)

BoundedDistributiveLattice

Logic

PartialOrder

JoinSemilattice

CoercibleTo(OutputForm)

FiniteLinearAggregate(Boolean)

LinearAggregate(Boolean)

Eltable(UniversalSegment(Integer), %)

finiteAggregate

InnerEvalable(Boolean, Boolean)

BoundedJoinSemilattice

EltableAggregate(Integer, Boolean)

Hashable

IndexedAggregate(Integer, Boolean)