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.

◆ 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.

Referenced by subsumed_patht().


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