|
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().
1.8.4