ceta::not_predicate_t Struct Reference

List of all members.

---

Detailed Description

Predicate with a "not" operator on top.

Definition at line 911 of file ta.hh.

Public Member Functions
	not_predicate_t (const state_predicate_t &new_arg)
	Constructs a not predicate.
Public Attributes
state_predicate_t	arg
	Argument in complementation.

---

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

• ta.hh

---