LTL  2.0.x
Public Types | Static Public Member Functions | List of all members
ltl::ltl::tMBoolSplitLoop< Expr, M, N, false > 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)