clang  3.9.0
Classes | Enumerations
clang::ento::nonloc Namespace Reference

Classes

class  SymbolVal
 Represents symbolic expression. More...
 
class  ConcreteInt
 Value representing integer constant. More...
 
class  LocAsInteger
 
class  CompoundVal
 
class  LazyCompoundVal
 

Enumerations

enum  Kind
 

Enumeration Type Documentation

Definition at line 309 of file SVals.h.