libretto.examples.diningPhilosophers

Members list

Concise view

Type members

Classlikes

object DiningPhilosophers extends StarterApp

Attributes

Graph
Supertypes
class StarterApp
class StarterAppBase
class Object
trait Matchable
class Any
Self type
trait Forks

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ForksProvider.type
opaque object ForksProvider extends Forks

Implements Forks. Internally, it represents a fork as a lock from the core library. (Note that the Lock from the core library is not a primitive itself, but is implemented using other primitives. Racing plays a key role in that implementation.)

Implements Forks. Internally, it represents a fork as a lock from the core library. (Note that the Lock from the core library is not a primitive itself, but is implemented using other primitives. Racing plays a key role in that implementation.)

Attributes

Graph
Supertypes
trait Forks
class Object
trait Matchable
class Any
Self type

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class Philosophers[ForksImpl <: Forks](val forks: ForksImpl)

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any