core/spire.std/IntIsBitString

IntIsBitString

@SerialVersionUID(0L)
class IntIsBitString extends BitString[Int] with Serializable
trait BitString[Int]
trait Bool[Int]
trait GenBool[Int]
trait Heyting[Int]
trait BoundedDistributiveLattice[Int]
trait DistributiveLattice[Int]
trait BoundedLattice[Int]
trait BoundedJoinSemilattice[Int]
trait BoundedMeetSemilattice[Int]
trait Lattice[Int]
trait MeetSemilattice[Int]
trait JoinSemilattice[Int]
trait Serializable
class Object
trait Matchable
class Any

Value members

Concrete methods

def and(a: Int, b: Int): Int
def bitCount(n: Int): Int
def complement(a: Int): Int
def highestOneBit(n: Int): Int
def leftShift(n: Int, i: Int): Int
def lowestOneBit(n: Int): Int
def numberOfLeadingZeros(n: Int): Int
def numberOfTrailingZeros(n: Int): Int
def one: Int
def or(a: Int, b: Int): Int
def rightShift(n: Int, i: Int): Int
def rotateLeft(n: Int, i: Int): Int
def rotateRight(n: Int, i: Int): Int
def signed: Boolean
def signedRightShift(n: Int, i: Int): Int
def toHexString(n: Int): String
def width: Int
def zero: Int

Inherited methods

override
def asBoolRing: BoolRing[Int]

Every Boolean algebra is a BoolRing, with multiplication defined as and and addition defined as xor. Bool does not extend BoolRing because, e.g. we might want a Bool[Int] and CommutativeRing[Int] to refer to different structures, by default.

Every Boolean algebra is a BoolRing, with multiplication defined as and and addition defined as xor. Bool does not extend BoolRing because, e.g. we might want a Bool[Int] and CommutativeRing[Int] to refer to different structures, by default.

Note that the ring returned by this method is not an extension of the Rig returned from BoundedDistributiveLattice.asCommutativeRig.

Definition Classes
Bool -> GenBool
Inherited from
Bool
override
def dual: Bool[Int]
Definition Classes
Bool -> BoundedDistributiveLattice -> BoundedLattice -> Lattice
Inherited from
Bool
def imp(a: Int, b: Int): Int
Inherited from
Bool
def isOne(a: Int)(implicit ev: Eq[Int]): Boolean
Inherited from
BoundedMeetSemilattice
def isZero(a: Int)(implicit ev: Eq[Int]): Boolean
Inherited from
BoundedJoinSemilattice
override
def join(a: Int, b: Int): Int
Definition Classes
GenBool -> JoinSemilattice
Inherited from
GenBool
def joinPartialOrder(implicit ev: Eq[Int]): PartialOrder[Int]
Inherited from
JoinSemilattice
override
def joinSemilattice: BoundedSemilattice[Int]
Definition Classes
BoundedJoinSemilattice -> JoinSemilattice
Inherited from
BoundedJoinSemilattice
override
def meet(a: Int, b: Int): Int
Definition Classes
GenBool -> MeetSemilattice
Inherited from
GenBool
def meetPartialOrder(implicit ev: Eq[Int]): PartialOrder[Int]
Inherited from
MeetSemilattice
override
def meetSemilattice: BoundedSemilattice[Int]
Definition Classes
BoundedMeetSemilattice -> MeetSemilattice
Inherited from
BoundedMeetSemilattice
def nand(a: Int, b: Int): Int
Inherited from
Heyting
def nor(a: Int, b: Int): Int
Inherited from
Heyting
def nxor(a: Int, b: Int): Int
Inherited from
Heyting
def without(a: Int, b: Int): Int
Inherited from
Bool
override
def xor(a: Int, b: Int): Int
Definition Classes
Bool -> GenBool -> Heyting
Inherited from
Bool