12#ifndef __CODAC_CTCCHAIN_H__
13#define __CODAC_CTCCHAIN_H__
23 class CtcChain :
public CtcLinobs
32 void contract(std::vector<Domain*>& v_domains);
40 static const std::string m_ctc_name;
41 static std::vector<std::string> m_str_expected_doms;
42 friend class ContractorNetwork;
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9
@ BACKWARD
backward in time (from to )
@ FORWARD
forward in time (from to )