cprover
Loading...
Searching...
No Matches
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: