CBMC
Public Member Functions | Public Attributes | List of all members
subsumed_patht Class Reference

#include <subsumed.h>

+ Collaboration diagram for subsumed_patht:

Public Member Functions

 subsumed_patht (patht &_subsumed)
 

Public Attributes

patht subsumed
 
patht accelerator
 
patht residue
 

Detailed Description

Definition at line 19 of file subsumed.h.

Constructor & Destructor Documentation

◆ subsumed_patht()

subsumed_patht::subsumed_patht ( patht &  _subsumed)
inlineexplicit

Definition at line 22 of file subsumed.h.

Member Data Documentation

◆ accelerator

patht subsumed_patht::accelerator

Definition at line 29 of file subsumed.h.

◆ residue

patht subsumed_patht::residue

Definition at line 30 of file subsumed.h.

◆ subsumed

patht subsumed_patht::subsumed

Definition at line 28 of file subsumed.h.

The documentation for this class was generated from the following file: