logic_t Struct Reference

#include <clause.hpp>

List of all members.

Public Attributes

char variables [26]

int nbVariables

char negated [26]

char letters [26]

Member Data Documentation

char logic_t::letters[26]

Definition at line 21 of file clause.hpp.

int logic_t::nbVariables

Definition at line 18 of file clause.hpp.

char logic_t::negated[26]

Definition at line 20 of file clause.hpp.

char logic_t::variables[26]

Definition at line 17 of file clause.hpp.

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

Generated on Sun Oct 14 18:49:14 2001 for Standard J2K Library by