ceta::and_predicate_t Struct Reference

List of all members.

---

Detailed Description

Predicate with an "and" operator on top.

Definition at line 920 of file ta.hh.

Public Member Functions
	and_predicate_t (const state_predicate_t &new_lhs, const state_predicate_t &new_rhs)
	Constructs an and predicate.
Public Attributes
state_predicate_t	lhs
	First argument in conjunction.
state_predicate_t	rhs
	Second argument in conjunction.

---

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

• ta.hh

---