/Users/jamian/Desktop/qecode/examples/network-pricing.cc File Reference

#include "gecode/minimodel.hh"
#include "gecode/search.hh"
#include "Implicative.hh"
#include "qsolver.hh"
#include <iostream>

Include dependency graph for network-pricing.cc:

Go to the source code of this file.

Namespaces
namespace	std
namespace	Gecode::Int
Functions
void	printStr (Strategy s, int depth)
int	main ()

---

Function Documentation

int main

(

)

Definition at line 47 of file network-pricing.cc.

References Implicative::getAggregate(), Implicative::getExistential(), Implicative::nextScope(), Implicative::optimize(), printStr(), Implicative::QIntVar(), QSolver::solve(), Implicative::space(), and Implicative::var().

void printStr	(	Strategy	s,
		int	depth
	)

Definition at line 11 of file network-pricing.cc.

References Strategy::degree(), Strategy::getChild(), Strategy::getTag(), Strategy::isFalse(), Strategy::isTrue(), StrategyNode::quantifier, StrategyNode::scope, StrategyNode::type, StrategyNode::valeurs, StrategyNode::Vmax, and StrategyNode::Vmin.

Referenced by main().

---