Lines Matching full:addtransition
452 C.addTransition(State->set<InvariantViolated>(true), N);
467 N = C.addTransition(OriginalState, N);
496 C.addTransition(State);
629 C.addTransition(State);
646 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);
663 C.addTransition(State);
737 ExplodedNode *N = C.addTransition(State);
749 ExplodedNode *N = C.addTransition(State);
764 C.addTransition(State);
796 C.addTransition(State);
806 C.addTransition(State);
876 C.addTransition(State);
886 C.addTransition(State);
899 C.addTransition(State);
927 C.addTransition(State);
949 C.addTransition(State);
988 C.addTransition(State);
1001 C.addTransition(State);
1008 C.addTransition(State);
1144 C.addTransition(State);
1165 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);
1182 C.addTransition(State);
1190 C.addTransition(State);
