23 static_features::static_features(ast_manager & m):  in static_features()  function in static_features
41 void static_features::reset() {  in reset()
111 void static_features::flush_cache() {  in flush_cache()
119 bool static_features::is_diff_term(expr const * e, rational & r) const {  in is_diff_term()
131 bool static_features::is_diff_atom(expr const * e) const {  in is_diff_atom()
158 bool static_features::is_gate(expr const * e) const {  in is_gate()
170 void static_features::update_core(expr * e) {  in update_core()
376 void static_features::check_array(sort* s) {  in check_array()
386 void static_features::update_core(sort * s) {  in update_core()
399 void static_features::process(expr * e, bool form_ctx, bool or_and_ctx, bool ite_ctx, unsigned stac…  in process()
512 void static_features::process_root(expr * e) {  in process_root()
564 void static_features::collect(unsigned num_formulas, expr * const * formulas) {  in collect()
569 bool static_features::internal_family(symbol const & f_name) const {  in internal_family()
573 void static_features::display_family_data(std::ostream & out, char const * prefix, unsigned_vector …  in display_family_data()
581 bool static_features::has_uf() const {  in has_uf()
585 unsigned static_features::num_non_uf_theories() const {  in num_non_uf_theories()
589 unsigned static_features::num_theories() const {  in num_theories()
593 void static_features::display_primitive(std::ostream & out) const {  in display_primitive()
653 void static_features::display(std::ostream & out) const {  in display()
680 void static_features::get_feature_vector(vector<double> & result) {  in get_feature_vector()