PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.model/io.github.srs.model.entity/io.github.srs.model.entity.dynamicentity/io.github.srs.model.entity.dynamicentity.agent/io.github.srs.model.entity.dynamicentity.agent.util/TerminationUtils

TerminationUtils

io.github.srs.model.entity.dynamicentity.agent.util.TerminationUtils
object TerminationUtils

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def atLeastOneLightReached(agent: Agent, env: Environment): Boolean
def isCollided(agent: Agent, current: BaseState): Boolean
Generated with