scenic.core.requirements

Support for hard and soft requirements.

Summary of Module Members

Functions

Find all names the given lambda depends on, along with their current bindings.

Classes

`BlanketCollisionRequirement`
`BoundRequirement`
`CompiledRequirement`
`ContainmentRequirement`
`DynamicMonitorRequirement`
`DynamicRequirement`
`IntersectionRequirement`
`MonitorRequirement`	MonitorRequirement is a BoundRequirement with temporal proposition monitor
`NonVisibilityRequirement`
`PendingRequirement`
`RequirementType`	An enumeration.
`SamplingRequirement`	A requirement to be checked to validate a sample.
`VisibilityRequirement`

class RequirementType(value)[source]

Bases: Enum

An enumeration.

getAllGlobals(req, restrictTo=None)[source]: Find all names the given lambda depends on, along with their current bindings.

class MonitorRequirement(compiledReq, sample, proposition)[source]

Bases: BoundRequirement

MonitorRequirement is a BoundRequirement with temporal proposition monitor

class SamplingRequirement(optional)[source]

Bases: ABC

A requirement to be checked to validate a sample.

Parameters:: optional – Whether or not this requirement must be checked to validate the sample. Optional samples can be checked, and if False imply that the sample is invalid, but do not need to be checked if all non-optional requirements are satisfied.

abstract falsifiedByInner(sample)[source]: Returns False if the requirement is falsifed, True otherwise

abstract property violationMsg: Message to be printed if the requirement is violated