io.github.srs.model.logic
Members list
Type members
Classlikes
A bundle of all logic traits for a given state type.
A bundle of all logic traits for a given state type.
Type parameters
- S
-
the type of the state.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object simulationStateLogicsBundle
Logic for handling simulation status changes: pause.
Logic for handling simulation status changes: pause.
Type parameters
- S
-
the type of the simulation state.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Logic for random number generation and state updates.
Logic for random number generation and state updates.
Type parameters
- S
-
the type of the model state.
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
Companion object for RandomLogic containing given instances.
Companion object for RandomLogic containing given instances.
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
RandomLogic.type
Logic for handling simulation status changes: resume.
Logic for handling simulation status changes: resume.
Type parameters
- S
-
the type of the simulation state.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Logic for handling robot actions proposals.
Logic for handling robot actions proposals.
Type parameters
- S
-
the type of the simulation state.
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
Companion object for RobotActionsLogic containing given instances.
Companion object for RobotActionsLogic containing given instances.
Attributes
- Companion
- trait
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
RobotActionsLogic.type
Companion object for status logic traits containing given instances.
Companion object for status logic traits containing given instances.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
StatusLogic.type
Logic for handling simulation status changes: stop.
Logic for handling simulation status changes: stop.
Type parameters
- S
-
the type of the simulation state.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
Logic for handling simulation time updates.
Logic for handling simulation time updates.
Type parameters
- S
-
the type of the simulation state.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
Companion object for LogicsBundle containing given instances.
Givens
Givens
Companion object for LogicsBundle containing given instances.