OKlibrary  0.2.1.6
Klauselv Struct Reference

structure identifying one clause-occurrence More...

#include <VarLitKlm.h>

List of all members.

Public Attributes

KLL Laenge
KLL LaLaenge
unsigned int RundeK
unsigned int UrLaenge
VarMaskeersteV

Detailed Description

structure identifying one clause-occurrence

Definition at line 156 of file VarLitKlm.h.


Member Data Documentation

Definition at line 166 of file VarLitKlm.h.

Definition at line 157 of file VarLitKlm.h.

Definition at line 158 of file VarLitKlm.h.

unsigned int Klauselv::RundeK

Definition at line 160 of file VarLitKlm.h.

unsigned int Klauselv::UrLaenge

Definition at line 165 of file VarLitKlm.h.


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