HomeSort by relevance Sort by last modified time
    Searched defs:assume (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
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
79 assert (false && "'Assume' not implemented for this Loc.");
114 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager
170 llvm_unreachable("'Assume' not implemented for this NonLoc");
263 // No logic yet for other operators. assume the constraint is feasible.
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
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(this, cast<DefinedSVal>(Cond)
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/
org.sat4j.core_2.2.0.v20100429.jar 

Completed in 508 milliseconds