Search  

---

clause_t Struct Reference

#include <clause.hpp>

List of all members.

Public Attributes
int	clause
int	depth
int	parents [2]
int	length
logic_t	logic
status_t	status
size_t	len
char	string [160]

---

Member Data Documentation

int clause_t::clause

Definition at line 26 of file clause.hpp.

int clause_t::depth

Definition at line 27 of file clause.hpp.

size_t clause_t::len

Definition at line 35 of file clause.hpp. Referenced by Clause::assign(), and Clause::decompose().

int clause_t::length

Definition at line 29 of file clause.hpp.

logic_t clause_t::logic

Definition at line 31 of file clause.hpp. Referenced by Clause::compare(), Clause::compose(), Clause::decompose(), and dump().

int clause_t::parents[2]

Definition at line 28 of file clause.hpp.

status_t clause_t::status

Definition at line 33 of file clause.hpp. Referenced by Clause::compare(), Clause::compose(), Clause::decompose(), and main().

char clause_t::string[ 160 ]

Definition at line 36 of file clause.hpp. Referenced by Clause::assign(), Clause::decompose(), and Clause::print().

---

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

• C:/temp/src/j2k/etc/ai/clause.hpp

---