Searched defs:assume (Results 1 - 3 of 3) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.cpp | 58 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 62 return assume(state, cast<NonLoc>(Cond), Assumption); 64 return assume(state, cast<Loc>(Cond), Assumption); 67 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond, function in class:clang::ento::SimpleConstraintManager 114 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 263 // No logic yet for other operators. assume the constraint is feasible.
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 158 // Various "assume" methods form the interface for adding constraints to 159 // symbolic values. A call to 'assume' indicates an assumption being placed 160 // on one or symbolic values. 'assume' methods take the following inputs: 164 // (2) The assumed constraint (which is specific to a given "assume" method). 169 // The output of "assume*" is a new ProgramState object with the added constraints. 173 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 177 /// 'assume' twice. 179 assume(DefinedOrUnknownSVal cond) const; 614 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, function in class:clang::ento::ProgramState 619 return getStateManager().ConstraintMgr->assume(thi 624 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState [all...] |
/external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/ |
H A D | org.sat4j.core_2.2.0.v20100429.jar | META-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ... |
Completed in 58 milliseconds