ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
rrrParameter.h
Go to the documentation of this file.
1#pragma once
2
3ABC_NAMESPACE_CXX_HEADER_START
4
5namespace rrr {
6
7 struct Parameter {
8 int iSeed = 0;
9 int nWords = 10;
10 int nTimeout = 0;
11 int nSchedulerVerbose = 0;
12 int nPartitionerVerbose = 0;
13 int nOptimizerVerbose = 0;
14 int nAnalyzerVerbose = 0;
15 int nSimulatorVerbose = 0;
16 int nSatSolverVerbose = 0;
17 bool fUseBddCspf = false;
18 bool fUseBddMspf = false;
19 int nConflictLimit = 0;
20 int nSortType = -1;
21 int nOptimizerFlow = 0;
22 int nSchedulerFlow = 0;
23 int nPartitionType = 0;
24 int nDistance = 0;
25 int nJobs = 1;
26 int nThreads = 1;
27 int nPartitionSize = 0;
28 int nPartitionSizeMin = 0;
29 bool fDeterministic = true;
30 int nParallelPartitions = 1;
31 bool fOptOnInsert = false;
32 bool fGreedy = true;
33 };
34
35}
36
37ABC_NAMESPACE_CXX_HEADER_END
ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_START
Definition abc_namespaces.h:52
ABC_NAMESPACE_CXX_HEADER_END
#define ABC_NAMESPACE_CXX_HEADER_END
Definition abc_namespaces.h:53
rrr
Definition rrr.h:16