Definition at line 933 of file ta.hh.
Public Member Functions | |
| or_predicate_t (const state_predicate_t &new_lhs, const state_predicate_t &new_rhs) | |
| Constructs an or predicate. | |
Public Attributes | |
| state_predicate_t | lhs |
| First argument in disjunction. | |
| state_predicate_t | rhs |
| Second argument in disjunction. | |
1.4.6