libretto-examples
libretto-examples
API
libretto.examples
canteen
Customer
Main
Protocol
PaymentCard
SectionMain
SectionSoup
Session
Provider
coffeemachine
CoffeeMachine
CoffeeMachineClient
CoffeeMachineProvider
Protocol
Beverage
CoffeeMachine
Flavor
ShotCount
Size
diningPhilosophers
DiningPhilosophers
Forks
ForksProvider
Philosophers
Philosophers
dogTreatsFactory
Biscuit
Bone
Large
Small
Bone
DogTreatsFactory
Main
Toy
TreatsPack
LargeBone
SmallBone
TreatsPack
interactionNets.unaryArithmetic
Result
Succ
Plus
Times
Dup
Link
Result
Wire
Auxiliary
Outlet
Redirect
Proper
libraryOfAlexandria
vendor
Connection
Connector
Connector
Page
ResultSet
ScrollDatabase
ScrollId
ConnectorModule
ConnectorModuleImpl
shareableConnector
Downloader
Downloader
Main
santa
solution1
SantaClaus
EGroup
Group
RGroup
solution2
SantaClaus
ElfGroup
ReindeerGroup
sunflowers
Main
OilBottle
SeedsPack
Sunflower
SunflowerProcessingFacility
supermarket
AbstractGoods
Customers
Customers
Goods
GoodsConsumer
GoodsProducer
Supermarket
SupermarketInterface
SupermarketProvider
baskets
money
given_Semigroup_CoinBank
tv
Main
TvBroadcaster
TvChannel
Cooking
Discovery
Sport
TvInterface
Tv
TvViewer
VideoFrame
CoffeeMachine
Beverage
CoffeeMachine
Flavor
ShotCount
Size
Echo
Fibonacci
HelloWorld
PingPong
PingPongN
PoolingMicroscopes
Microscopes
BorrowedMicroscope
Name
libretto-examples
/
libretto.examples
/
CoffeeMachine
/
ShotCount
ShotCount
libretto.examples.CoffeeMachine.ShotCount
enum
ShotCount
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Enum
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Show all
Members list
Clear all
Type members
Enum entries
case
Double
extends
ShotCount
case
Single
extends
ShotCount
In this article
Attributes
Members list
Type members
Enum entries