Home
last modified time | relevance | path

Searched refs:d_arg_const (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/
H A Dterm_database_sygus.cpp419 d_arg_const[tn][i] = n; in registerSygusType()
1027 std::map< TypeNode, std::map< int, Node > >::iterator itt = d_arg_const.find( tn ); in getConsNumConst()
1028 if( itt!=d_arg_const.end() ){ in getConsNumConst()
1055 std::map< TypeNode, std::map< int, Node > >::iterator itt = d_arg_const.find( tn ); in isConstArg()
1056 if( itt!=d_arg_const.end() ){ in isConstArg()
H A Dterm_database_sygus.h396 std::map<TypeNode, std::map<int, Node> > d_arg_const; variable