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

Definition at line 45 of file prop_conv_store.h.

References constraint_list.

Referenced by prop_conv_storet::convert(), and prop_conv_storet::set_to().

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

References constraint_list.

Member Data Documentation

◆ constraint_list

constraint_listt prop_conv_storet::constraintst::constraint_list

Definition at line 43 of file prop_conv_store.h.

Referenced by add_constraint(), and replay().


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