satsolver  0.17.2
Public Attributes | List of all members
_TransactionElement Struct Reference

Public Attributes

Id p
 
Id edges
 
Id mark
 

Detailed Description

Definition at line 764 of file transaction.c.

Member Data Documentation

Id _TransactionElement::p
Id _TransactionElement::edges
Id _TransactionElement::mark

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