Public Attributes
Functor	Id

CELL	ClFlags

UInt	ClSize

UInt	ClRefCount

yamop *	ClExt

union {
DBTerm * ClSource

Int ClLine

}	lusl

struct logic_upd_clause *	ClPrev

struct logic_upd_clause *	ClNext

PredEntry *	ClPred

UInt	ClTimeStart

UInt	ClTimeEnd

yamop	ClCode [MIN_ARRAY]

Detailed Description

Definition at line 64 of file clause.h.

Member Data Documentation

◆ ClCode

yamop ClCode[MIN_ARRAY]

Definition at line 90 of file clause.h.

◆ ClExt

yamop* ClExt

Definition at line 79 of file clause.h.

◆ ClFlags

CELL ClFlags

Definition at line 69 of file clause.h.

◆ ClLine

Int ClLine

Definition at line 82 of file clause.h.

◆ ClNext

struct logic_upd_clause * ClNext

Definition at line 85 of file clause.h.

◆ ClPred

PredEntry* ClPred

Definition at line 87 of file clause.h.

◆ ClPrev

struct logic_upd_clause* ClPrev

Definition at line 85 of file clause.h.

◆ ClRefCount

UInt ClRefCount

Definition at line 77 of file clause.h.

◆ ClSize

UInt ClSize

Definition at line 74 of file clause.h.

◆ ClSource

DBTerm* ClSource

Definition at line 81 of file clause.h.

◆ ClTimeEnd

UInt ClTimeEnd

Definition at line 88 of file clause.h.

◆ ClTimeStart

UInt ClTimeStart