CBMC
subsumed.h File Reference

Loop Acceleration. More...

#include "path.h"
#include <list>
+ Include dependency graph for subsumed.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  subsumed_patht
 

Typedefs

typedef std::list< subsumed_pathtsubsumed_pathst
 

Detailed Description

Loop Acceleration.

Definition in file subsumed.h.

Typedef Documentation

◆ subsumed_pathst

typedef std::list<subsumed_patht> subsumed_pathst

Definition at line 33 of file subsumed.h.