Evidence

onera.pmlanalyzer.views.patterns.model.Evidence
sealed trait Evidence extends PatternAST

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Claim
class Given

Members list

Concise view

Value members

Inherited fields

val implementation: Option[String]

Attributes

Inherited from:
PatternAST
val label: String

Attributes

Inherited from:
PatternAST
val textWidth: Option[Int]

Attributes

Inherited from:
PatternAST