ceta::state_predicate_t Class Reference

List of all members.

---

Detailed Description

Boolean predicate whose models are sets of state symbols.

Definition at line 872 of file ta.hh.

Public Member Functions
	state_predicate_t (const kind_t &kind, bool value)
	Constructs predicate that accepts or rejects every model.
	state_predicate_t (const state_t &state)
	Constructs predicate that accepts models containing state.
Friends
const state_predicate_t	operator! (const state_predicate_t &arg)
	Returns complement of predicate.
const state_predicate_t	operator & (const state_predicate_t &lhs, const state_predicate_t &rhs)
	Returns conjunction of two predicates.
const state_predicate_t	operator| (const state_predicate_t &lhs, const state_predicate_t &rhs)
	Returns disjunction of two predicates.
const kind_t &	kind (const state_predicate_t &pred)
	Returns kind of the predicate.
template<typename Visitor>
Visitor::result_type	apply_visitor (const Visitor &visitor, const state_predicate_t &pred)
	Passes components of predicate to visitor.
bool	operator== (const state_predicate_t &lhs, const state_predicate_t &rhs)
	Returns true if predicates share same implementation.
Related Functions
(Note that these are not member functions.)
state_predicate_t &	operator &= (state_predicate_t &lhs, const state_predicate_t &rhs)
	Intersects lhs predicate with rhs.
state_predicate_t &	operator|= (state_predicate_t &lhs, const state_predicate_t &rhs)
	Unions lhs predicate with rhs.
bool	operator!= (const state_predicate_t &lhs, const state_predicate_t &rhs)
	Returns true if predicates do not share same implementation.
bool	models (const state_predicate_t &pred, const std::set< state_t > &model) CETA_DSO_EXPORT
	Returns true if set is a model of predicate.
std::ostream &	operator<< (std::ostream &o, const state_predicate_t &p) CETA_DSO_EXPORT
	Writes predicate to stream for debugging purposes.

---

Friends And Related Function Documentation

template<typename Visitor> Visitor::result_type apply_visitor (  const Visitor &  visitor, const state_predicate_t &  pred )  [friend]

Passes components of predicate to visitor. A predicate visitor is an adaptable function with a nested typedef result_type that define the type it returns and accepts arguments that may be a bool, state_t, not_predicate_t, and_predicate_t, or or_predicate_t. Definition at line 987 of file ta.hh.

---

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

• ta.hh

---