CBMC
Public Types | Public Member Functions | List of all members
ai_domain_factoryt< domainT > Class Template Reference

#include <ai_domain.h>

+ Inheritance diagram for ai_domain_factoryt< domainT >:
+ Collaboration diagram for ai_domain_factoryt< domainT >:

Public Types

typedef ai_domain_factory_baset::statet statet
 
typedef ai_domain_factory_baset::locationt locationt
 
typedef ai_domain_factory_baset::trace_ptrt trace_ptrt
 
- Public Types inherited from ai_domain_factory_baset
typedef ai_domain_baset statet
 
typedef ai_domain_baset::locationt locationt
 
typedef ai_domain_baset::trace_ptrt trace_ptrt
 

Public Member Functions

std::unique_ptr< statet > copy (const statet &s) const override
 
bool merge (statet &dest, const statet &src, trace_ptrt from, trace_ptrt to) const override
 
- Public Member Functions inherited from ai_domain_factory_baset
virtual ~ai_domain_factory_baset ()
 
virtual std::unique_ptr< statet > make (locationt l) const =0
 

Detailed Description

template<typename domainT>
class ai_domain_factoryt< domainT >

Definition at line 196 of file ai_domain.h.

Member Typedef Documentation

◆ locationt

template<typename domainT >
typedef ai_domain_factory_baset::locationt ai_domain_factoryt< domainT >::locationt

Definition at line 200 of file ai_domain.h.

◆ statet

template<typename domainT >
typedef ai_domain_factory_baset::statet ai_domain_factoryt< domainT >::statet

Definition at line 199 of file ai_domain.h.

◆ trace_ptrt

template<typename domainT >
typedef ai_domain_factory_baset::trace_ptrt ai_domain_factoryt< domainT >::trace_ptrt

Definition at line 201 of file ai_domain.h.

Member Function Documentation

◆ copy()

template<typename domainT >
std::unique_ptr<statet> ai_domain_factoryt< domainT >::copy ( const statet &  s) const
inlineoverridevirtual

Implements ai_domain_factory_baset.

Definition at line 203 of file ai_domain.h.

◆ merge()

template<typename domainT >
bool ai_domain_factoryt< domainT >::merge ( statet &  dest,
const statet &  src,
trace_ptrt  from,
trace_ptrt  to 
) const
inlineoverridevirtual

Implements ai_domain_factory_baset.

Definition at line 208 of file ai_domain.h.

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