src/cpsp/SideChain/chain_threading_all.h File Reference

#include <biu/LatticeFrame.hh>
#include <cpsp/HCore.hh>
#include "chain_threading.h"
#include <iostream>
#include <gecode/kernel.hh>
#include <gecode/int.hh>
#include <gecode/search.hh>
#include "options/chain_option.h"
#include <cpsp/gecode/GC_ThreadingSymmBreaker.hh>
#include <algorithm>

Include dependency graph for chain_threading_all.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	cpsp
namespace	cpsp::scth
Data Structures
class	cpsp::scth::RunSideChainThreading
	This class to handle running the side chain threading. More...
class	cpsp::scth::SideChainThreadingHandler
	This class is for side chain handler, it applies the constraint threading for the most optimal Core till the less until a solution is found. More...

---

Variable Documentation

Search::FailStop* fs

Definition at line 23 of file chain_threading_all.h.

Search::TimeStop* ts

Definition at line 22 of file chain_threading_all.h.