OKlibrary  0.2.1.6
VLGAES Namespace Reference

Functions

VLiterale VLiteral (const Wort64 Schluessel, const UWort32 FormelNummer, const UWort32 Variablenzahl, const UWort32 Klausellaenge, const UWort32 Domaingroesse, const Wort64 Literalzaehler)

Function Documentation

VLiterale VLGAES::VLiteral ( const Wort64  Schluessel,
const UWort32  FormelNummer,
const UWort32  Variablenzahl,
const UWort32  Klausellaenge,
const UWort32  Domaingroesse,
const Wort64  Literalzaehler 
) [static]