cprover
prop_conv_storet::constraintt Struct Reference

#include <prop_conv_store.h>

Collaboration diagram for prop_conv_storet::constraintt:
[legend]

Public Types

enum  typet { typet::NONE, typet::CONVERT, typet::SET_TO }
 

Public Member Functions

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

Public Attributes

typet type
 
exprt expr
 
bool value
 
literalt literal
 

Detailed Description

Definition at line 22 of file prop_conv_store.h.

Member Enumeration Documentation

§ typet

Enumerator
NONE 
CONVERT 
SET_TO 

Definition at line 24 of file prop_conv_store.h.

Member Function Documentation

§ print()

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

Definition at line 67 of file prop_conv_store.cpp.

Referenced by prop_conv_storet::constraintst::add_constraint().

§ replay()

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

Member Data Documentation

§ expr

exprt prop_conv_storet::constraintt::expr

§ literal

literalt prop_conv_storet::constraintt::literal

Definition at line 33 of file prop_conv_store.h.

Referenced by prop_conv_storet::convert().

§ type

typet prop_conv_storet::constraintt::type

Definition at line 25 of file prop_conv_store.h.

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

§ value

bool prop_conv_storet::constraintt::value

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