OKlibrary  0.2.1.6
LGAES Namespace Reference

Functions

SWort32 Literal (const Wort64 Schluessel, const Wort64 FormelNummer, const SWort32 Variablenzahl, const SWort32 Klausellaenge, const Wort64 Literalzaehler)

Function Documentation

SWort32 LGAES::Literal ( const Wort64  Schluessel,
const Wort64  FormelNummer,
const SWort32  Variablenzahl,
const SWort32  Klausellaenge,
const Wort64  Literalzaehler 
) [static]