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

Public Types

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)
 

Member Typedef Documentation

template<class Expr >
typedef bool ltl::ltl::tNBoolLoop< Expr, 0 >::value_type
template<class Expr >
typedef bool ltl::ltl::tNBoolLoop< Expr, 0 >::value_type

Member Function Documentation

template<class Expr >
static bool ltl::ltl::tNBoolLoop< Expr, 0 >::anyof ( Expr &  e)
inlinestatic
template<class Expr >
static bool ltl::ltl::tNBoolLoop< Expr, 0 >::allof ( Expr &  e)
inlinestatic
template<class Expr >
static bool ltl::ltl::tNBoolLoop< Expr, 0 >::noneof ( Expr &  e)
inlinestatic
template<class Expr >
static bool ltl::ltl::tNBoolLoop< Expr, 0 >::anyof ( Expr &  e)
inlinestatic
template<class Expr >
static bool ltl::ltl::tNBoolLoop< Expr, 0 >::allof ( Expr &  e)
inlinestatic
template<class Expr >
static bool ltl::ltl::tNBoolLoop< Expr, 0 >::noneof ( Expr &  e)
inlinestatic