cimcp/src/cimcp_accuracy.cpp File Reference

#include "cimcp_Fmonotone.cpp"
#include <cstdio>
#include <vector>
#include <gecode/driver.hh>
#include "options_fimcp.cpp"
#include "gecode/kernel.hh"
#include "gecode/int.hh"
#include "gecode/iter.hh"
#include "gecode/int/rel.hh"

Go to the source code of this file.

Functions
int	monotone_function (int posTot, int pos, int negTot, int neg, int precision)
	accuracy measure
int	main (int argc, char *argv[])

---

Function Documentation

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 42 of file cimcp_accuracy.cpp.

References Options_fimcp::alpha(), Options_fimcp::delta(), Options_fimcp::description(), Options_fimcp::parse(), and Options_fimcp::usage().

int monotone_function	(	int	posTot,
		int	pos,
		int	negTot,
		int	neg,
		int	precision
	)			[inline]

accuracy measure

Definition at line 36 of file cimcp_accuracy.cpp.

Referenced by Cimcp_Fmonotone::constructPNitemset(), FmonotoneBool::ImplyFmonotoneBoolGq< VA, VC >::propagate(), and FmonotoneBool::FmonotoneBoolGq< VA, VC >::propagate().