Changeset 41 for vis_dev/vis-2.3/src/bmc

Timestamp:

Jan 10, 2012, 6:51:23 PM (13 years ago)

Author:

cecile

Message:

new command generate cnf from network

File:

• vis_dev/vis-2.3/src/bmc/bmcInt.h (modified) (1 diff)

vis_dev/vis-2.3/src/bmc/bmcInt.h

@@ -184 +184 @@
 EXTERN Ltl_Automaton_t * BmcAutLtlToAutomaton(Ntk_Network_t *network, Ctlsp_Formula_t *ltlFormula);
 EXTERN void BmcAutTerminationFree(BmcCheckForTermination_t *result);
-EXTERN int BmcBddSat(Ntk_Network_t *network, array_t *formulaArray, BmcOption_t *options);
+EXTERN int BmcBddSat(Ntk_Network_t *network, array_t *formulaArray, BmcOption_t *savons);
 EXTERN Bmc_PropertyStatus BmcBddSatCheckLtlFormula(Ntk_Network_t *network, mdd_t *initialStates, mdd_t *targetStates, BmcOption_t *options, st_table *CoiTable);
 EXTERN void BmcLtlVerifyProp(Ntk_Network_t *network, Ctlsp_Formula_t *ltlFormula, st_table *CoiTable, BmcOption_t *options);