Here is a list of all documented class members with links to the class documentation for each member:

- a -

• add_erule : ceta::ta_t
• add_kind : ceta::theory_t
• add_op : ceta::theory_t
• add_rule : ceta::ta_t
• add_state : ceta::ta_t
• and_predicate_t() : ceta::and_predicate_t
• apply_visitor : ceta::state_predicate_t
• arg : ceta::not_predicate_t
• assoc : ceta::axiom_set_t
• axiom_set_proxy_t : ceta::theory_t
• axioms : ceta::theory_t

- c -

• comm : ceta::axiom_set_t
• counterexample : ceta::test_result_t

- e -

• erule_iterator : ceta::ta_t
• erule_t() : ceta::erule_t
• erules_begin : ceta::ta_t
• erules_end : ceta::ta_t

- h -

• has_next() : ceta::subset_constructor_t

- i -

• id : ceta::axiom_set_t
• id_contexts_begin : ceta::theory_t
• id_contexts_end : ceta::theory_t
• id_symbol : ceta::axiom_set_t
• id_type : ceta::axiom_set_t
• input() : ceta::op_t
• input_count() : ceta::op_t
• input_iterator : ceta::op_t
• inputs_begin : ceta::op_t
• inputs_end : ceta::op_t
• is_assoc : ceta::axiom_set_t
• is_binary() : ceta::op_t
• is_comm : ceta::axiom_set_t
• is_complete() : ceta::subset_constructor_t
• is_constant() : ceta::term_t, ceta::op_t

- k -

• kind : ceta::term_t, ceta::state_predicate_t, ceta::state_t
• kind_iterator : ceta::theory_t
• kind_t() : ceta::kind_t
• kinds_begin : ceta::theory_t
• kinds_end : ceta::theory_t

- l -

• left_id : ceta::axiom_set_t
• lhs : ceta::erule_t, ceta::or_predicate_t, ceta::and_predicate_t
• lhs_state() : ceta::rule_t
• lhs_state_count() : ceta::rule_t
• lhs_state_iterator : ceta::rule_t
• lhs_states_begin : ceta::rule_t
• lhs_states_end : ceta::rule_t

- m -

• make_binary_op() : ceta::op_t
• make_binary_rule() : ceta::op_t
• make_constant() : ceta::term_t, ceta::op_t
• make_constant_rule() : ceta::op_t
• make_unary_op() : ceta::op_t
• make_unary_rule() : ceta::op_t
• member : ceta::ta_t, ceta::theory_t
• models() : ceta::state_predicate_t

- n -

• name : ceta::state_t, ceta::op_t, ceta::kind_t
• next_set() : ceta::subset_constructor_t
• next_term() : ceta::subset_constructor_t
• none : ceta::axiom_set_t
• not_predicate_t() : ceta::not_predicate_t

- o -

• op : ceta::rule_t
• op_iterator : ceta::theory_t
• op_t() : ceta::op_t
• operator & : ceta::ta_t, ceta::state_predicate_t
• operator &=() : ceta::ta_t, ceta::state_predicate_t
• operator bool() : ceta::test_result_t
• operator! : ceta::ta_t, ceta::state_predicate_t
• operator!=() : ceta::rule_t, ceta::erule_t, ceta::state_predicate_t, ceta::state_t, ceta::theory_t, ceta::axiom_set_t, ceta::op_t, ceta::kind_t
• operator< : ceta::erule_t, ceta::kind_t, ceta::rule_t, ceta::state_t, ceta::op_t
• operator<<() : ceta::ta_t, ceta::state_predicate_t, ceta::state_t, ceta::theory_t, ceta::axiom_set_t, ceta::term_t, ceta::op_t, ceta::kind_t
• operator== : ceta::erule_t, ceta::axiom_set_t, ceta::kind_t, ceta::rule_t, ceta::state_predicate_t, ceta::state_t, ceta::theory_t, ceta::op_t
• operator| : ceta::ta_t, ceta::axiom_set_t, ceta::state_predicate_t
• operator|=() : ceta::ta_t, ceta::state_predicate_t, ceta::axiom_set_t
• ops_begin : ceta::theory_t
• ops_end : ceta::theory_t
• or_predicate_t() : ceta::or_predicate_t
• output : ceta::op_t

- p -

• pop_next() : ceta::subset_constructor_t
• predicate : ceta::ta_t

- r -

• reachable_set : ceta::test_result_t
• rhs : ceta::rule_t, ceta::erule_t, ceta::or_predicate_t, ceta::and_predicate_t
• right_id : ceta::axiom_set_t
• root : ceta::term_t
• rule_iterator : ceta::ta_t
• rule_t() : ceta::rule_t
• rules_begin : ceta::ta_t
• rules_end : ceta::ta_t

- s -

• set_axioms : ceta::theory_t
• set_predicate : ceta::ta_t
• state_iterator : ceta::ta_t
• state_predicate_t() : ceta::state_predicate_t
• state_t() : ceta::state_t
• states_begin : ceta::ta_t
• states_end : ceta::ta_t
• subterm() : ceta::term_t
• subterm_count() : ceta::term_t
• subterm_iterator : ceta::term_t
• subterms_begin : ceta::term_t
• subterms_end : ceta::term_t

- t -

• ta_t() : ceta::ta_t
• term_t() : ceta::term_t
• test_emptiness() : ceta::ta_t
• test_result_t() : ceta::test_result_t
• theory : ceta::ta_t
• theory_t() : ceta::theory_t

- w -

• work() : ceta::subset_constructor_t

---