From ec158735b71e060c2c57cfc79a46d68cecf1f3cd Mon Sep 17 00:00:00 2001
From: sayanmitracode <sayan.mitra@gmail.com>
Date: Tue, 21 Jun 2022 14:16:42 -0500
Subject: [PATCH] cleaned up version of ball bounce
---
demo/ball_bounces.py | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/demo/ball_bounces.py b/demo/ball_bounces.py
index 941302cf..455314ca 100644
--- a/demo/ball_bounces.py
+++ b/demo/ball_bounces.py
@@ -64,8 +64,16 @@ from dryvr_plus_plus.example.example_sensor.fake_sensor import FakeSensor4
from dryvr_plus_plus.scene_verifier.sensor.base_sensor import BaseSensor
if __name__ == "__main__":
- ball_controller = './ball_bounces.py'
+ ''' Defining and using a scenario involves the following 5 easy steps:
+ 1. creating a basic scenario object with Scenario()
+ 2. defining the agents that will populate the object, here we have two ball agents
+ 3. adding the agents to the scenario using .add_agent()
+ 4. initializing the agents for this scenario.
+ Note that agents are only initialized *in* a scenario, not individually outside a scenario
+ 5. genetating the simulation traces or computing the reachable states
+ '''
bouncingBall = Scenario()
+ ball_controller = './ball_bounces.py'
myball1 = BallAgent('red-ball', file_name=ball_controller)
myball2 = BallAgent('green-ball', file_name=ball_controller)
bouncingBall.add_agent(myball1)
--
GitLab