Searched refs:InputState (Results 1 – 1 of 1) sorted by relevance
215 ProgramStateRef InputState, in addImplication() argument217 if (!InputState) in addImplication()219 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()221 Negated ? InputState->get<NonNullImplicationMap>(Antecedent) in addImplication()222 : InputState->get<NullImplicationMap>(Antecedent); in addImplication()224 return InputState; in addImplication()227 ProgramStateRef State = InputState; in addImplication()229 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()230 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()232 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()