(Event+Time).Variant Operators  2.3
Operators for Timed Discrete Event Systems in Dioids
graphicPR Namespace Reference

Classes

class  PovRay
 Used to generate POV-Ray scripts to draw 3D descriptions of polyEd and polyTg objects. More...
 

Detailed Description

namespace for the POV-Ray class