cprover
cover_goalst Member List
This is the complete list of members for
cover_goalst
, including all inherited members.
_iterations
cover_goalst
protected
_number_covered
cover_goalst
protected
add
(const literalt condition)
cover_goalst
inline
constraint
()
cover_goalst
private
cover_goalst
(prop_convt &_prop_conv)
cover_goalst
inline
explicit
debug
()
messaget
inline
endl
(mstreamt &m)
messaget
inline
static
eom
(mstreamt &m)
messaget
inline
static
error
()
messaget
inline
freeze_goal_variables
()
cover_goalst
private
get_message_handler
()
messaget
inline
get_mstream
(unsigned message_level)
messaget
inline
goals
cover_goalst
goalst
typedef
cover_goalst
iterations
() const
cover_goalst
inline
M_DEBUG
enum value
messaget
M_ERROR
enum value
messaget
M_PROGRESS
enum value
messaget
M_RESULT
enum value
messaget
M_STATISTICS
enum value
messaget
M_STATUS
enum value
messaget
M_WARNING
enum value
messaget
mark
()
cover_goalst
private
message_handler
messaget
protected
message_levelt
enum name
messaget
messaget
()
messaget
inline
messaget
(const messaget &other)
messaget
inline
messaget
(message_handlert &_message_handler)
messaget
inline
explicit
mstream
messaget
protected
number_covered
() const
cover_goalst
inline
observers
cover_goalst
protected
observerst
typedef
cover_goalst
protected
operator()
()
cover_goalst
progress
()
messaget
inline
prop_conv
cover_goalst
protected
register_observer
(observert &o)
cover_goalst
inline
result
()
messaget
inline
set_message_handler
(message_handlert &_message_handler)
messaget
inline
virtual
size
() const
cover_goalst
inline
statistics
()
messaget
inline
status
()
messaget
inline
warning
()
messaget
inline
~cover_goalst
()
cover_goalst
virtual
~messaget
()
messaget
virtual
Generated by
1.8.12