ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
cadical_stable.cpp
Go to the documentation of this file.
1#include "global.h"
2
3#ifdef PROFILE_MODE
4
5#include "internal.hpp"
6
7ABC_NAMESPACE_IMPL_START
8
9namespace CaDiCaL {
10
11bool Internal::propagate_stable () {
12 CADICAL_assert (stable);
13 START (propstable);
14 bool res = propagate ();
15 STOP (propstable);
16 return res;
17}
18
19void Internal::analyze_stable () {
20 CADICAL_assert (stable);
21 START (analyzestable);
22 analyze ();
23 STOP (analyzestable);
24}
25
26int Internal::decide_stable () {
27 CADICAL_assert (stable);
28 return decide ();
29}
30
31}; // namespace CaDiCaL
32
33ABC_NAMESPACE_IMPL_END
34
35#else
36ABC_NAMESPACE_IMPL_START
37int stable_if_not_profile_mode_dummy;
38ABC_NAMESPACE_IMPL_END
39#endif
ABC_NAMESPACE_IMPL_START
#define ABC_NAMESPACE_IMPL_START
Definition abc_namespaces.h:54
ABC_NAMESPACE_IMPL_END
#define ABC_NAMESPACE_IMPL_END
Definition abc_namespaces.h:55
CADICAL_assert
#define CADICAL_assert(ignore)
Definition global.h:14
stable_if_not_profile_mode_dummy
ABC_NAMESPACE_IMPL_START int stable_if_not_profile_mode_dummy
Definition cadical_stable.cpp:37
STOP
#define STOP(P)
Definition profile.hpp:158
START
#define START(P)
Definition profile.hpp:150