cprover
ai_domain_factory_baset Class Referenceabstract

#include <ai_domain.h>

+ Inheritance diagram for ai_domain_factory_baset:

Public Types

typedef ai_domain_baset statet
 
typedef ai_domain_baset::locationt locationt
 
typedef ai_domain_baset::trace_ptrt trace_ptrt
 

Public Member Functions

virtual ~ai_domain_factory_baset ()
 
virtual std::unique_ptr< statetmake (locationt l) const =0
 
virtual std::unique_ptr< statetcopy (const statet &s) const =0
 
virtual bool merge (statet &dest, const statet &src, trace_ptrt from, trace_ptrt to) const =0
 

Detailed Description

Definition at line 188 of file ai_domain.h.

Member Typedef Documentation

◆ locationt

◆ statet

Definition at line 191 of file ai_domain.h.

◆ trace_ptrt

Constructor & Destructor Documentation

◆ ~ai_domain_factory_baset()

virtual ai_domain_factory_baset::~ai_domain_factory_baset ( )
inlinevirtual

Definition at line 195 of file ai_domain.h.

Member Function Documentation

◆ copy()

virtual std::unique_ptr<statet> ai_domain_factory_baset::copy ( const statet s) const
pure virtual

◆ make()

virtual std::unique_ptr<statet> ai_domain_factory_baset::make ( locationt  l) const
pure virtual

◆ merge()

virtual bool ai_domain_factory_baset::merge ( statet dest,
const statet src,
trace_ptrt  from,
trace_ptrt  to 
) const
pure virtual

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