OKlibrary  0.2.1.6
litv Struct Reference

structure for one literal-occurrence More...

#include <VarLitKlm.h>

List of all members.

Public Attributes

struct litvnLv
struct litvlLv
struct litvnLK
struct litvlLK
struct litlit
struct Klauselvkln

Detailed Description

structure for one literal-occurrence

Definition at line 172 of file VarLitKlm.h.


Member Data Documentation

Definition at line 178 of file VarLitKlm.h.

struct lit* litv::lit

Definition at line 177 of file VarLitKlm.h.

struct litv* litv::lLK

Definition at line 176 of file VarLitKlm.h.

struct litv* litv::lLv

Definition at line 174 of file VarLitKlm.h.

struct litv* litv::nLK

Definition at line 175 of file VarLitKlm.h.

struct litv* litv::nLv

Definition at line 173 of file VarLitKlm.h.


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