ForAllExistsAdjunction< A > Class Template Reference

#include <Equalizer.hh>

Classes
struct	ForAllExists

Public Types
enum	State {   ETrue , EFalse , EUnknown , EUnknownButProbablyTrue ,   EUnknownButProbablyFalse }

Public Member Functions
ForAllExists	forallexists_detection (bool(*bool_property)(A a), std::vector< A > vec, int &pos)

Member Enumeration Documentation

State

template<class A>

enum ForAllExistsAdjunction::State

Enumerator
ETrue
EFalse
EUnknown
EUnknownButProbablyTrue
EUnknownButProbablyFalse

Member Function Documentation

forallexists_detection()

template<class A>

ForAllExists ForAllExistsAdjunction< A >::forallexists_detection ( bool(* bool_property )(A a), std::vector< A > vec, int & pos )

inline

---

The documentation for this class was generated from the following file:

• Equalizer.hh