LTL  2.0.x
Public Types | Static Public Member Functions | List of all members
ltl::ltl::tMBoolLoop< Expr, M, N > Class Template Reference

Public Types

enum  { static_size = M*N*Expr::static_size }
 
typedef bool value_type
 

Static Public Member Functions

static bool anyof (const Expr &e)
 
static bool allof (const Expr &e)
 
static bool noneof (const Expr &e)