esmeta
API
Generated with
esmeta/esmeta/esmeta.util/BSet

BSet

esmeta.util.BSet
sealed trait BSet[+A] extends ConcreteLattice[A, BSet]

Attributes

Graph
Supertypes
trait ConcreteLattice[A, BSet]
class Object
trait Matchable
class Any
Known subtypes
class Fin[A]
object Inf
Self type
BSet[A]

Members list

Value members

Concrete methods

def &&[B >: A](that: => BSet[B]): BSet[B]

meet/intersection operator

meet/intersection operator

Attributes

def --[B >: A](that: => BSet[B]): BSet[B]

prune operator

prune operator

Attributes

def <=[B >: A](that: => BSet[B]): Boolean

partial order/subset operator

partial order/subset operator

Attributes

def contains[B >: A](x: B): Boolean

inclusion check

inclusion check

Attributes

def flatMap[B](f: A => BSet[B]): BSet[B]

flatMap function

flatMap function

Attributes

def foldLeft[B](init: B)(f: (B, A) => B): B

foldLeft function

foldLeft function

Attributes

def foreach(f: A => Unit): Unit

foreach function

foreach function

Attributes

def getSingle[B >: A]: Flat[B]

get single value

get single value

Attributes

def isBottom: Boolean

bottom check

bottom check

Attributes

def isTop: Boolean

top check

top check

Attributes

def map[B](f: A => B): BSet[B]

map function

map function

Attributes

def toIterable(stop: Boolean): Iterable[A]

conversion to iterable

conversion to iterable

Attributes

def toList: List[A]

get list function

get list function

Attributes

def ||[B >: A](that: => BSet[B]): BSet[B]

join operator

join operator

Attributes

Inherited methods

def ⊑[B >: A](that: => BSet[B]): Boolean

Attributes

Inherited from:
ConcreteLattice
def ⊓[B >: A](that: => BSet[B]): BSet[B]

Attributes

Inherited from:
ConcreteLattice
def ⊔[B >: A](that: => BSet[B]): BSet[B]

Attributes

Inherited from:
ConcreteLattice
Generated with