cprover
prop_conv_storet::constraintst Class Reference

#include <prop_conv_store.h>

Collaboration diagram for prop_conv_storet::constraintst:
[legend]

Public Types

typedef std::list< constrainttconstraint_listt
 

Public Member Functions

constrainttadd_constraint ()
 
void replay (prop_convt &dest) const
 
void print (std::ostream &out) const
 

Public Attributes

constraint_listt constraint_list
 

Detailed Description

Definition at line 39 of file prop_conv_store.h.

Member Typedef Documentation

§ constraint_listt

Definition at line 42 of file prop_conv_store.h.

Member Function Documentation

§ add_constraint()

constraintt& prop_conv_storet::constraintst::add_constraint ( )
inline

§ print()

void prop_conv_storet::constraintst::print ( std::ostream &  out) const

Definition at line 41 of file prop_conv_store.cpp.

§ replay()

void prop_conv_storet::constraintst::replay ( prop_convt dest) const

Definition at line 32 of file prop_conv_store.cpp.

Member Data Documentation

§ constraint_list

constraint_listt prop_conv_storet::constraintst::constraint_list

Definition at line 43 of file prop_conv_store.h.


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