pistache

picalculus

package picalculus

Visibility
  1. Public
  2. All

Type Members

  1. class ActionPrefix(procedure: () ⇒ Unit) extends Prefix with Product

    A class representing pi-Calculus silent actions.

  2. trait Agent extends PiObject with Composition with Guard

    A trait representing pi-Calculus agents.

  3. trait Composition extends AnyRef

    A trait providing the composition operator for pi-Calculus agents.

  4. class CompositionAgent(left: () ⇒ Agent, right: () ⇒ Agent) extends Agent with Product

    A class representing a agent constructed by the composition of two other agents.

  5. trait Concatenation extends AnyRef

  6. class ConcatenationAgent(left: () ⇒ Prefix, right: () ⇒ Agent) extends Agent with Product

    A class representing a agent constructed by the concatenation of a prefix and an agent.

  7. class ConcatenationPrefix(left: () ⇒ Prefix, right: () ⇒ Prefix) extends Prefix with Product

    A class representing a prefix constructed by the concatenation of two prefixes.

  8. trait Guard extends AnyRef

    A trait providing the guard operator for pi-Calculus agents.

  9. class GuardedAgent(left: () ⇒ Prefix, right: () ⇒ Agent) extends Agent with Summation with Product

    A class representing guarded agents.

  10. class Link[T] extends AnyRef

    A class representing a pi-Calculus link.

  11. class LinkPrefix[T](link: Link[T], action: Value, name: Name[T]) extends Prefix with Product

    A class representing an action over a link as an atomic pi-Calculus prefix.

  12. class MatchAgent(condition: () ⇒ Boolean, then: () ⇒ Agent) extends Agent with Product

    A class representing pi-Calculus conditional operator If.

  13. class Name[T] extends AnyRef

    A class representing a pi-Calculus name.

  14. class NilAgent() extends Agent with Product

    A class representing the Null agent.

  15. trait PiObject extends AnyRef

    A trait representing all pi-Calculus objects.

  16. trait Prefix extends PiObject with Concatenation

    A trait representing pi-Calculus prefixes.

  17. class RestrictedAgent(agent: () ⇒ Agent) extends Agent with Product

    A class representing pi-Calculus agents allowing restricted agents.

  18. trait Summation extends AnyRef

    A trait providing the summation operator for pi-Calculus agents.

  19. class SummationAgent(left: () ⇒ Agent, right: () ⇒ Agent) extends Agent with Summation with Product

    A class representing a agent constructed by the summation of two other agents.

Value Members

  1. object Action extends AnyRef

    An object providing methods to create silent actions.

  2. object Agent extends AnyRef

    An object providing methods to create pi-Calculus agents.

  3. object If extends AnyRef

    An object providing methods to create pi-Calculus conditional agents.

  4. object Link extends AnyRef

    An object providing methods to create new links.

  5. object Name extends AnyRef

    An object providing methods to create new names, and implicit conversions for autoboxing and autounboxing.

  6. object Prefix extends AnyRef

    An object providing helper methods to pi-Calculus prefixes.