CBMC
Loading...
Searching...
No Matches
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 >:
[フレーム]
[legend]
+ Collaboration diagram for ai_domain_factoryt< domainT >:
[フレーム]
[legend]

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 199 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 203 of file ai_domain.h.

◆  statet

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

Definition at line 202 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 204 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 206 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 211 of file ai_domain.h.

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

AltStyle によって変換されたページ (->オリジナル) /