Searched refs:s_atom (Results 1 – 1 of 1) sorted by path
337 …bool is_spatial = s_atom.getKind()==kind::SEP_STAR || s_atom.getKind()==kind::SEP_WAND || s_atom.g… in check()371 if( s_atom.getKind()==kind::SEP_STAR || s_atom.getKind()==kind::SEP_WAND ){ in check()555 TNode s_atom = atom[0]; in check() local598 TNode s_atom = atom[0]; in check() local647 TNode s_atom = atom[0]; in check() local670 TNode s_atom = atom[0]; in check() local733 …( std::find( d_refinement_lem[s_atom][s_lbl].begin(), d_refinement_lem[s_atom][s_lbl].end(), lem )… in check()749 Assert( s_atom.getKind()==kind::SEP_PTO || s_atom.getKind()==kind::SEP_EMP ); in check()1469 TNode s_atom = atom[0]; in setInactiveAssertionRec() local1471 if( s_atom.getKind()==kind::SEP_WAND || s_atom.getKind()==kind::SEP_STAR ){ in setInactiveAssertionRec()[all …]