case class ParOut(channel: Chan, lchan: Chan, rchan: Chan, left: Term, right: Term) extends Output with Product with Serializable
'c<lc,rc>.(left | right) Parallel output. In proofs-as-processes, parallel communication (i.e. of a pair of objects) happens in 2 stages: 1) Use a common channel to send 2 new channels, one for the left side of the pair and one for the right. 2) Communicate each part of the pair through its respective channel. This performs the output for the first stage. Creates fresh versions of lc and rc and then sends them out as a pair.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ParOut
- Serializable
- Serializable
- Product
- Equals
- Output
- ChannelTerm
- Term
- AnyRef
- Any
Implicitly
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- def ->[B](y: B): (ParOut, B)
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def addTo(s: PiState): PiState
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
val
channel: Chan
- Definition Classes
- ParOut → ChannelTerm
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- def ensuring(cond: (ParOut) ⇒ Boolean, msg: ⇒ Any): ParOut
- def ensuring(cond: (ParOut) ⇒ Boolean): ParOut
- def ensuring(cond: Boolean, msg: ⇒ Any): ParOut
- def ensuring(cond: Boolean): ParOut
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
- def formatted(fmtstr: String): String
- def fresh(i: Int): ParOut
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val lchan: Chan
- val left: Term
-
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()
- val rchan: Chan
- val right: Term
-
def
send(s: PiState): (List[Term], PiObject, PiState)
Sends its output through the given PiState Returns a list of continuations, the PiObject it wants to send, and an updated PiState.
- def sub(s: ChanMap): ParOut
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
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
- @throws( ... ) @native()
- def →[B](y: B): (ParOut, B)