satsolver
0.17.2
|
Public Attributes | |
Id | p |
Id | edges |
Id | mark |
Definition at line 764 of file transaction.c.
Id _TransactionElement::p |
Definition at line 765 of file transaction.c.
Referenced by addcycleedges(), addedge(), addsolvableedges(), breakcycle(), dump_tes(), transaction_add_obsoleted(), transaction_check_order(), transaction_check_pkg(), transaction_order(), and transaction_order_add_choices().
Id _TransactionElement::edges |
Definition at line 766 of file transaction.c.
Referenced by addcycleedges(), addteedge(), dump_tes(), reachable(), transaction_order(), and transaction_order_add_choices().
Id _TransactionElement::mark |
Definition at line 767 of file transaction.c.
Referenced by addcycleedges(), reachable(), transaction_order(), and transaction_order_add_choices().