fimcp/src/fimcp_deltaclosed.cpp File Reference

#include "common/fimcp_basic.hh"

Go to the source code of this file.

Defines
#define	PRECISION   1000
Functions
int	main (int argc, char *argv[])

---

Define Documentation

#define PRECISION   1000

Definition at line 37 of file fimcp_deltaclosed.cpp.

Referenced by Emulator_2support::constrain(), Emulator_1support::constrain(), Emulator_2support::constructPNitemset(), Emulator_1support::constructPNitemset(), Cimcp_Fmonotone::constructPNitemset(), Cimcp_Fconvex::constructPNitemset(), Emulator_2support::print(), Emulator_1support::print(), Emulator_2support::run(), Emulator_1support::run(), Cimcp_Fmonotone::run(), and Cimcp_Fconvex::run().

---

Function Documentation

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

Definition at line 105 of file fimcp_deltaclosed.cpp.

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