LTL
2.0.x
|
Public Types | |
enum | { static_size = N * Expr::static_size } |
enum | { static_size = N * Expr::static_size } |
typedef bool | value_type |
typedef bool | value_type |
Static Public Member Functions | |
static bool | anyof (Expr &e) |
static bool | allof (Expr &e) |
static bool | noneof (Expr &e) |
static bool | anyof (Expr &e) |
static bool | allof (Expr &e) |
static bool | noneof (Expr &e) |
typedef bool ltl::ltl::tVBoolLoop< Expr, N >::value_type |
typedef bool ltl::ltl::tVBoolLoop< Expr, N >::value_type |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |