Program Structure


The program asks for a .WRL file and for a name of the .SAT file to generate.

The program will be composed by two main parts:

1) A parser (read .WRL file). This parser will recognize the following:

        - Rigid body transformations: Translation and rotation
        - Material (Color) in RGB format
        - Basic VRML primitives: Sphere, Cube, Cone and Cylinder
        - Point definitions
        - Polyhedra: IndexedFaceSet

This parser will not allow some exceptions in the input file, for example: having too many spaces between data, or carriage returns between data points, etc. It will work with a somewhat rigid input, which doesn't differ so much from .WRL anyway, this format does not allow too many exceptions. The reason for not working as much on this, is to keep on focus in the problem. This would require a long time to cover all exceptions, and it's not worth the effort.

2) A .SAT generator (write .SAT file). This is divided in two:
 



Back to home