#include <prop_conv_store.h>

Collaboration diagram for prop_conv_storet::constraintt:

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

enum prop_conv_storet::constraintt::typet

strong

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.

◆ replay()

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

Definition at line 50 of file prop_conv_store.cpp.

References decision_proceduret::set_to().

Member Data Documentation

◆ expr

exprt prop_conv_storet::constraintt::expr

Definition at line 27 of file prop_conv_store.h.

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

◆ 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

Definition at line 30 of file prop_conv_store.h.

Referenced by prop_conv_storet::set_to().

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

solvers/prop/prop_conv_store.h
solvers/prop/prop_conv_store.cpp

Public Types

Public Member Functions

Public Attributes