ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
rrr::Parameter Struct Reference

#include <rrrParameter.h>

Public Attributes

int iSeed = 0
 
int nWords = 10
 
int nTimeout = 0
 
int nSchedulerVerbose = 0
 
int nPartitionerVerbose = 0
 
int nOptimizerVerbose = 0
 
int nAnalyzerVerbose = 0
 
int nSimulatorVerbose = 0
 
int nSatSolverVerbose = 0
 
bool fUseBddCspf = false
 
bool fUseBddMspf = false
 
int nConflictLimit = 0
 
int nSortType = -1
 
int nOptimizerFlow = 0
 
int nSchedulerFlow = 0
 
int nPartitionType = 0
 
int nDistance = 0
 
int nJobs = 1
 
int nThreads = 1
 
int nPartitionSize = 0
 
int nPartitionSizeMin = 0
 
bool fDeterministic = true
 
int nParallelPartitions = 1
 
bool fOptOnInsert = false
 
bool fGreedy = true
 

Detailed Description

Definition at line 7 of file rrrParameter.h.

Member Data Documentation

◆ fDeterministic

bool rrr::Parameter::fDeterministic = true

Definition at line 29 of file rrrParameter.h.

◆ fGreedy

bool rrr::Parameter::fGreedy = true

Definition at line 32 of file rrrParameter.h.

◆ fOptOnInsert

bool rrr::Parameter::fOptOnInsert = false

Definition at line 31 of file rrrParameter.h.

◆ fUseBddCspf

bool rrr::Parameter::fUseBddCspf = false

Definition at line 17 of file rrrParameter.h.

◆ fUseBddMspf

bool rrr::Parameter::fUseBddMspf = false

Definition at line 18 of file rrrParameter.h.

◆ iSeed

int rrr::Parameter::iSeed = 0

Definition at line 8 of file rrrParameter.h.

◆ nAnalyzerVerbose

int rrr::Parameter::nAnalyzerVerbose = 0

Definition at line 14 of file rrrParameter.h.

◆ nConflictLimit

int rrr::Parameter::nConflictLimit = 0

Definition at line 19 of file rrrParameter.h.

◆ nDistance

int rrr::Parameter::nDistance = 0

Definition at line 24 of file rrrParameter.h.

◆ nJobs

int rrr::Parameter::nJobs = 1

Definition at line 25 of file rrrParameter.h.

◆ nOptimizerFlow

int rrr::Parameter::nOptimizerFlow = 0

Definition at line 21 of file rrrParameter.h.

◆ nOptimizerVerbose

int rrr::Parameter::nOptimizerVerbose = 0

Definition at line 13 of file rrrParameter.h.

◆ nParallelPartitions

int rrr::Parameter::nParallelPartitions = 1

Definition at line 30 of file rrrParameter.h.

◆ nPartitionerVerbose

int rrr::Parameter::nPartitionerVerbose = 0

Definition at line 12 of file rrrParameter.h.

◆ nPartitionSize

int rrr::Parameter::nPartitionSize = 0

Definition at line 27 of file rrrParameter.h.

◆ nPartitionSizeMin

int rrr::Parameter::nPartitionSizeMin = 0

Definition at line 28 of file rrrParameter.h.

◆ nPartitionType

int rrr::Parameter::nPartitionType = 0

Definition at line 23 of file rrrParameter.h.

◆ nSatSolverVerbose

int rrr::Parameter::nSatSolverVerbose = 0

Definition at line 16 of file rrrParameter.h.

◆ nSchedulerFlow

int rrr::Parameter::nSchedulerFlow = 0

Definition at line 22 of file rrrParameter.h.

◆ nSchedulerVerbose

int rrr::Parameter::nSchedulerVerbose = 0

Definition at line 11 of file rrrParameter.h.

◆ nSimulatorVerbose

int rrr::Parameter::nSimulatorVerbose = 0

Definition at line 15 of file rrrParameter.h.

◆ nSortType

int rrr::Parameter::nSortType = -1

Definition at line 20 of file rrrParameter.h.

◆ nThreads

int rrr::Parameter::nThreads = 1

Definition at line 26 of file rrrParameter.h.

◆ nTimeout

int rrr::Parameter::nTimeout = 0

Definition at line 10 of file rrrParameter.h.

◆ nWords

int rrr::Parameter::nWords = 10

Definition at line 9 of file rrrParameter.h.

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