OKlibrary  0.2.1.6
node Struct Reference

List of all members.

Public Attributes

int clause
struct nodenext

Detailed Description

Definition at line 112 of file satz215.2.c.


Member Data Documentation


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