randomltl.hh File Reference

#include "apcollect.hh"
#include <iosfwd>

Include dependency graph for randomltl.hh:

Go to the source code of this file.

Namespaces

namespace  spot
namespace  spot::ltl

Classes

class  spot::ltl::random_ltl
 Generate random LTL formulae. More...
struct  spot::ltl::random_ltl::op_proba


Please comment this page and report errors about it on the RefDocComments page.
Generated on Tue Jul 17 15:13:37 2007 for spot by doxygen 1.5.2