esmeta
API
Generated with
esmeta/esmeta/esmeta.analyzer/esmeta.analyzer.tychecker/SymTyDecl/SymTy/STy

STy

esmeta.analyzer.tychecker.SymTyDecl.SymTy.STy
final case class STy(ty: ValueTy)

Members list

Value members

Inherited methods

def !⊑(that: SymTy)(using AbsState): Boolean

not partial order

not partial order

Attributes

Inherited from:
SymTy
def --(that: SymTy)(lst: AbsState, rst: AbsState): SymTy

prune operator in different state

prune operator in different state

Attributes

Inherited from:
SymTy
def --(that: SymTy)(using st: AbsState): SymTy

prune operator in same state

prune operator in same state

Attributes

Inherited from:
SymTy
def bases: Set[SymBase]

Attributes

Inherited from:
SymTy
def domain: DomainLikeDecl.this.DomainLike[DomainLikeDecl.this.SymTy]

abstract domain

abstract domain

Attributes

Inherited from:
SymTyLike
def getString: String

get string of symbolic type

get string of symbolic type

Attributes

Inherited from:
SymTy
def has(base: SymBase): Boolean

Attributes

Inherited from:
SymTy
def isBottom: Boolean

Attributes

Inherited from:
SymTy
def isSingle(using st: AbsState): Boolean

Attributes

Inherited from:
SymTy
def kill(bases: Set[SymBase]): Option[SymTy]

Attributes

Inherited from:
SymTy
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString: String

conversion to string

conversion to string

Attributes

Definition Classes
Inherited from:
DomainElemLike
def ty(using st: AbsState): ValueTy

Attributes

Inherited from:
SymTy
def ⊑(that: SymTy)(lst: AbsState, rst: AbsState): Boolean

partial order in different state

partial order in different state

Attributes

Inherited from:
SymTy
def ⊑(that: SymTy)(using st: AbsState): Boolean

partial order in same state

partial order in same state

Attributes

Inherited from:
SymTy
def ⊓(that: SymTy)(lst: AbsState, rst: AbsState): SymTy

meet operator in different state

meet operator in different state

Attributes

Inherited from:
SymTy
def ⊓(that: SymTy)(using st: AbsState): SymTy

meet operator in same state

meet operator in same state

Attributes

Inherited from:
SymTy
def ⊔(that: SymTy)(lst: AbsState, rst: AbsState): SymTy

join operator in different state

join operator in different state

Attributes

Inherited from:
SymTy
def ⊔(that: SymTy)(using st: AbsState): SymTy

join operator in same state

join operator in same state

Attributes

Inherited from:
SymTy
Generated with