Here is a list of all documented class members with links to the class documentation for each member:

• box() : LabeledPolytope , Polytope
• DMTranscriber() : DMTranscriber
• dumpJSON() : Problem
• dumpJSONcore() : Polytope
• get_state() : TrajectoryGenerator
• is_consistent() : Polytope
• is_in() : Polytope
• operator<< : LabeledPolytope , Polytope , Problem
• operator[]() : TrajectoryGenerator
• random() : Problem
• randomH() : Polytope
• step() : TrajectoryGenerator
• to_formula() : Problem