LTL  2.0.x
Public Types | Static Public Member Functions | List of all members
ltl::ltl::tNBoolLoop< Expr, N > 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 , int N>
typedef bool ltl::ltl::tNBoolLoop< Expr, N >::value_type
template<class Expr , int N>
typedef bool ltl::ltl::tNBoolLoop< Expr, N >::value_type

Member Function Documentation

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