Expr

onera.pmlanalyzer.views.dependability.model.Expr
sealed trait Expr[+T]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Best[T]
trait BoolExpr
class And
class Equal
class Not
class Or
class Const[T]
class DMap[T]
class ITE[T]
class Of[T]
trait Variable[T]
class InputPort[T]
class LocalVariable[T]
class OutputPort[T]
class Worst[T]

Members list

Concise view

Value members

Abstract methods

def eval(): Option[T]