analysis/org.polystat.odin.analysis.stateaccess/DetectStateAccess/State

State

case class State(statePath: List[String], state: EONamedBnd)
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product