_TransactionElement Struct Reference

List of all members.

Public Attributes

Id p
Id edges
Id mark


Detailed Description

Definition at line 764 of file transaction.c.


Member Data Documentation


The documentation for this struct was generated from the following file:

Generated on Mon Dec 15 17:56:24 2014 for satsolver by  doxygen 1.5.6