PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.model/io.github.srs.model.logic/TimeLogic

TimeLogic

io.github.srs.model.logic.TimeLogic
object TimeLogic

Companion object for TickLogic containing given instances.

Attributes

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

Members list

Type members

Classlikes

object given_BaseTickLogic_BaseSimulationState extends BaseTickLogic[BaseSimulationState]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object given_TickLogic_SimulationState extends TickLogic[SimulationState]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Givens

Givens

Generated with