satsolver
0.17.2
|
Public Attributes | |
Transaction * | trans |
struct _TransactionElement * | tes |
int | ntes |
Id * | edgedata |
int | nedgedata |
Id * | invedgedata |
Queue | cycles |
Queue | cyclesdata |
int | ncycles |
Definition at line 849 of file transaction.c.
Transaction* orderdata::trans |
Definition at line 850 of file transaction.c.
Referenced by addcycleedges(), addedge(), addsolvableedges(), breakcycle(), dump_tes(), havechoice(), and transaction_order().
struct _TransactionElement* orderdata::tes |
Definition at line 851 of file transaction.c.
Referenced by addcycleedges(), addedge(), addteedge(), breakcycle(), dump_tes(), reachable(), and transaction_order().
int orderdata::ntes |
Definition at line 852 of file transaction.c.
Referenced by addedge(), and transaction_order().
Id* orderdata::edgedata |
Definition at line 853 of file transaction.c.
Referenced by addcycleedges(), addteedge(), breakcycle(), dump_tes(), reachable(), and transaction_order().
int orderdata::nedgedata |
Definition at line 854 of file transaction.c.
Referenced by addteedge(), and transaction_order().
Id* orderdata::invedgedata |
Definition at line 855 of file transaction.c.
Referenced by transaction_order().
Queue orderdata::cycles |
Definition at line 857 of file transaction.c.
Referenced by breakcycle(), and transaction_order().
Queue orderdata::cyclesdata |
Definition at line 858 of file transaction.c.
Referenced by breakcycle(), and transaction_order().
int orderdata::ncycles |
Definition at line 859 of file transaction.c.
Referenced by breakcycle(), and transaction_order().