Definition in file GoSafetySolver.cpp.
#include "SgSystem.h"
#include "GoSafetySolver.h"
#include "GoBlock.h"
#include "GoChain.h"
#include "GoSafetyUtil.h"
#include "SgConnCompIterator.h"
Go to the source code of this file.
Functions | |
| bool | HaveSharedUnsafe (const SgVectorOf< GoBlock > &list1, const SgVectorOf< GoBlock > &list2) |
Variables | |
| const bool | DEBUG_MERGE_CHAINS = false |
| const bool | DEBUG_SAFETY_SOLVER = false |
| bool @17::HaveSharedUnsafe | ( | const SgVectorOf< GoBlock > & | list1, | |
| const SgVectorOf< GoBlock > & | list2 | |||
| ) | [static] |
Definition at line 22 of file GoSafetySolver.cpp.
References SgVectorOf< T >::Contains().
Referenced by GoSafetySolver::FindSafePair().
const bool DEBUG_MERGE_CHAINS = false [static] |
const bool DEBUG_SAFETY_SOLVER = false [static] |