Searched refs:InputState (Results 1 – 1 of 1) sorted by relevance
214 ProgramStateRef InputState, in addImplication() argument216 if (!InputState) in addImplication()218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()220 Negated ? InputState->get<NonNullImplicationMap>(Antecedent) in addImplication()221 : InputState->get<NullImplicationMap>(Antecedent); in addImplication()223 return InputState; in addImplication()226 ProgramStateRef State = InputState; in addImplication()228 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()229 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()