satsolver
0.17.2
|
Public Attributes | |
struct _TransactionElement * | tes |
int | ntes |
Id * | invedgedata |
int | ninvedgedata |
Definition at line 770 of file transaction.c.
struct _TransactionElement* _TransactionOrderdata::tes |
Definition at line 771 of file transaction.c.
Referenced by transaction_free_orderdata(), transaction_init_clone(), transaction_order(), and transaction_order_add_choices().
int _TransactionOrderdata::ntes |
Definition at line 772 of file transaction.c.
Referenced by transaction_init_clone(), transaction_order(), and transaction_order_add_choices().
Id* _TransactionOrderdata::invedgedata |
Definition at line 773 of file transaction.c.
Referenced by transaction_free_orderdata(), transaction_init_clone(), transaction_order(), and transaction_order_add_choices().
int _TransactionOrderdata::ninvedgedata |
Definition at line 774 of file transaction.c.
Referenced by transaction_init_clone(), and transaction_order().