case class Proc(current: List[String] = List(), defs: List[String] = List()) extends Product with Serializable
An mCRL2 process, constructed by the encoding procedure.
A process consists of a current
part (being built by the
encoder), and a series of process definitions (defs
). The
two will be later merged in a single string, and then in a single
.mcrl2
file
- Attributes
- protected
- Alphabetic
- By Inheritance
- Proc
- Serializable
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new Proc(current: List[String] = List(), defs: List[String] = List())
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
+(that: Proc): Proc
Compose two
Proc
instances, turning them into a choice between sequential processes, and combining their definitions. -
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
- val current: List[String]
- val defs: List[String]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
render: String
Render the specification.
Render the specification. This requires
current
to be empty! -
def
sequential: Proc
Turn the
current
part into a sequential mCRL2 process -
def
show: String
Represent the process specification as a string.
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toDef(proc: String): Proc
Turn the
current
part into a sequential mCRL2 process definition, and make it part of thedefs
. -
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
||(that: Proc): Proc
Compose two specs, turning them into a parallel composition of sequential mCRL2 processes, and combining their definitions.