spot
1.99.4a
|
Public Member Functions | |
porinfos (const spins_interface *si) | |
std::vector< bool > | compute_reduced_set (const std::vector< int > &enabled, const int *for_spins_state) |
bool | non_maybecoenabled (int t1, int t2) |
int | transitions () |
int | variables () |
void | dump_read_dependency () |
void | dump_write_dependency () |
void | dump_nes_guards () |
void | dump_mbc_guards () |
porinfos_stats & | stats () |