- std::map< PairNodes, Node > d_simpl_cache;
- std::map< PairNodes, Node > d_simpl_neg_cache;
- std::map< Node, std::pair< int, Node > > d_delta_cache;
- std::map< PairNodeStr, Node > d_dv_cache;
- std::map< PairNodeStr, std::pair< Node, int > > d_deriv_cache;
- std::map< Node, std::pair< Node, int > > d_compl_cache;
- std::map< Node, bool > d_cstre_cache;
- std::map< Node, std::pair< std::set<unsigned char>, std::set<Node> > > d_cset_cache;
- std::map< Node, std::pair< std::set<unsigned char>, std::set<Node> > > d_fset_cache;
- std::map< PairNodes, Node > d_inter_cache;
- std::map< Node, Node > d_rm_inter_cache;
- std::map< Node, bool > d_norv_cache;
- std::map< Node, std::vector< PairNodes > > d_split_cache;
- //bool checkStarPlus( Node t );
- void simplifyPRegExp( Node s, Node r, std::vector< Node > &new_nodes );
- void simplifyNRegExp( Node s, Node r, std::vector< Node > &new_nodes );
- std::string niceChar( Node r );
- Node mkAllExceptOne( unsigned char c );
- bool isPairNodesInSet(std::set< PairNodes > &s, Node n1, Node n2);
+ std::map<PairNodes, Node> d_simpl_cache;
+ std::map<PairNodes, Node> d_simpl_neg_cache;
+ std::map<Node, std::pair<int, Node> > d_delta_cache;
+ std::map<PairNodeStr, Node> d_dv_cache;
+ std::map<PairNodeStr, std::pair<Node, int> > d_deriv_cache;
+ std::map<Node, std::pair<Node, int> > d_compl_cache;
+ std::map<Node, bool> d_cstre_cache;
+ std::map<Node, std::pair<std::set<unsigned>, std::set<Node> > > d_cset_cache;
+ std::map<Node, std::pair<std::set<unsigned>, std::set<Node> > > d_fset_cache;
+ std::map<PairNodes, Node> d_inter_cache;
+ std::map<Node, Node> d_rm_inter_cache;
+ std::map<Node, bool> d_norv_cache;
+ std::map<Node, std::vector<PairNodes> > d_split_cache;
+ void simplifyPRegExp(Node s, Node r, std::vector<Node> &new_nodes);
+ void simplifyNRegExp(Node s, Node r, std::vector<Node> &new_nodes);
+ std::string niceChar(Node r);
+ Node mkAllExceptOne(unsigned c);
+ bool isPairNodesInSet(std::set<PairNodes> &s, Node n1, Node n2);