io.github.srs.model.logic

Members list

Type members

Classlikes

trait LogicsBundle[S <: State]

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 Object
trait Matchable
class Any
Known subtypes
trait PauseLogic[S <: State]

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 Object
trait Matchable
class Any
trait RandomLogic[S <: State]

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 Object
trait Matchable
class Any
Known subtypes
object RandomLogic

Companion object for RandomLogic containing given instances.

Companion object for RandomLogic containing given instances.

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ResumeLogic[S <: State]

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 Object
trait Matchable
class Any
trait RobotActionsLogic[S <: State]

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 Object
trait Matchable
class Any
Known subtypes

Companion object for RobotActionsLogic containing given instances.

Companion object for RobotActionsLogic containing given instances.

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
object StatusLogic

Companion object for status logic traits containing given instances.

Companion object for status logic traits containing given instances.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait StopLogic[S <: State]

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 Object
trait Matchable
class Any
trait TickLogic[S <: State]

Logic for handling simulation time updates.

Logic for handling simulation time updates.

Type parameters

S

the type of the simulation state.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object TimeLogic

Companion object for TickLogic containing given instances.

Companion object for TickLogic containing given instances.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
TimeLogic.type

Companion object for LogicsBundle containing given instances.

Companion object for LogicsBundle containing given instances.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Givens

Givens

Companion object for LogicsBundle containing given instances.

Companion object for LogicsBundle containing given instances.

Attributes