cprover
subsumed_patht Class Reference

#include <subsumed.h>

Collaboration diagram for subsumed_patht:
[legend]

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.

References subsumed.

Member Data Documentation

§ accelerator

patht subsumed_patht::accelerator

Definition at line 29 of file subsumed.h.

Referenced by acceleratet::insert_accelerator().

§ residue

patht subsumed_patht::residue

Definition at line 30 of file subsumed.h.

Referenced by acceleratet::insert_accelerator().

§ subsumed

patht subsumed_patht::subsumed

Definition at line 28 of file subsumed.h.

Referenced by subsumed_patht().


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