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

Public Types

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)