trait
ImmutableCache extends AnyRef
Abstract Value Members
-
abstract
val
_cacheComp: OpenHashMap[CompKey, DatatypeExpr]
-
abstract
val
_cacheEvt: OpenHashMap[EventKey, BoolExpr]
-
abstract
val
_cacheFlow: OpenHashMap[FlowKey, BitVecExpr]
-
abstract
val
_cacheTuple: OpenHashMap[TypeKey, Tuple]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
def
apply(key: CompKey): DatatypeExpr
-
-
def
apply(key: FlowKey): BitVecExpr
-
def
apply(key: EventKey): BoolExpr
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
collect[C](f: PartialFunction[(CompKey, DatatypeExpr), C])(implicit tag: CompKey): Iterable[C]
-
def
collect[C](f: PartialFunction[(TypeKey, Tuple), C])(implicit tag: TypeKey): Iterable[C]
-
def
collect[C](f: PartialFunction[(FlowKey, BitVecExpr), C])(implicit tag: FlowKey): Iterable[C]
-
def
collect[C](f: PartialFunction[(EventKey, BoolExpr), C])(implicit tag: EventKey): Iterable[C]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
filter(p: ((CompKey, DatatypeExpr)) ⇒ Boolean)(implicit tag: CompKey): OpenHashMap[CompKey, DatatypeExpr]
-
def
filter(p: ((TypeKey, Tuple)) ⇒ Boolean)(implicit tag: TypeKey): OpenHashMap[TypeKey, Tuple]
-
def
filter(p: ((FlowKey, BitVecExpr)) ⇒ Boolean)(implicit tag: FlowKey): OpenHashMap[FlowKey, BitVecExpr]
-
def
filter(p: ((EventKey, BoolExpr)) ⇒ Boolean)(implicit tag: EventKey): OpenHashMap[EventKey, BoolExpr]
-
def
finalize(): Unit
-
def
get(key: CompKey): Option[DatatypeExpr]
-
-
def
get(key: FlowKey): Option[BitVecExpr]
-
def
get(key: EventKey): Option[BoolExpr]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
Immutable cache containing translation of DSL nodes to Z3 SMT expressions Allow to store all kinds of translation and preserve type information