cprover
|
#include <ai_domain.h>
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 |
![]() | |
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 |
![]() | |
virtual | ~ai_domain_factory_baset () |
virtual std::unique_ptr< statet > | make (locationt l) const =0 |
Definition at line 217 of file ai_domain.h.
typedef ai_domain_factory_baset::locationt ai_domain_factoryt< domainT >::locationt |
Definition at line 221 of file ai_domain.h.
typedef ai_domain_factory_baset::statet ai_domain_factoryt< domainT >::statet |
Definition at line 220 of file ai_domain.h.
typedef ai_domain_factory_baset::trace_ptrt ai_domain_factoryt< domainT >::trace_ptrt |
Definition at line 222 of file ai_domain.h.
|
inlineoverridevirtual |
Implements ai_domain_factory_baset.
Definition at line 224 of file ai_domain.h.
|
inlineoverridevirtual |
Implements ai_domain_factory_baset.
Definition at line 229 of file ai_domain.h.