Searched defs:is_watch (Results 1 – 9 of 9) sorted by relevance
130 bool is_watch(literal l) const { in is_watch() function
358 …Prop::addArgument( Node n, std::vector< Node >& args, std::vector< Node >& watch, bool is_watch ) { in addArgument()469 bool is_watch = watch_list_out.find( c )!=watch_list_out.end(); in evaluateTermExp() local
158 #define is_watch(ptr) \ macro
201 #define is_watch(ptr) \ macro
256 bool is_watch; /* watch or notify */ member