clang API Documentation

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 {
  ConcreteIntKind, SymbolValKind, LocAsIntegerKind, CompoundValKind,
  LazyCompoundValKind
}

Enumeration Type Documentation

Enumerator:
ConcreteIntKind 
SymbolValKind 
LocAsIntegerKind 
CompoundValKind 
LazyCompoundValKind 

Definition at line 309 of file SVals.h.