Searched refs:abstractAsNondet (Results 1 – 2 of 2) sorted by relevance
150 bool abstractAsNondet(FunctionDefinition const& _function);
245 abstractAsNondet(_function) in visit()299 abstractAsNondet(_function) in endVisit()1102 bool CHC::abstractAsNondet(FunctionDefinition const& _function) in abstractAsNondet() function in CHC