#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 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().
| 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().
1.6.3