YAP 7.1.0
Public Attributes | List of all members
struct_dbentry

Public Attributes

Prop NextOfPE
 
PropFlags KindOfPE
 
unsigned int ArityOfDB
 
Functor FunctorOfDB
 
DBRef First
 
DBRef Last
 
Term ModuleOfDB
 
DBRef F0
 
DBRef L0
 

Detailed Description

Definition at line 788 of file Yatom.h.

Member Data Documentation

◆ ArityOfDB

unsigned int ArityOfDB

Definition at line 791 of file Yatom.h.

◆ F0

DBRef F0

Definition at line 799 of file Yatom.h.

◆ First

DBRef First

Definition at line 796 of file Yatom.h.

◆ FunctorOfDB

Functor FunctorOfDB

Definition at line 792 of file Yatom.h.

◆ KindOfPE

PropFlags KindOfPE

Definition at line 790 of file Yatom.h.

◆ L0

DBRef L0

Definition at line 799 of file Yatom.h.

◆ Last

DBRef Last

Definition at line 797 of file Yatom.h.

◆ ModuleOfDB

Term ModuleOfDB

Definition at line 798 of file Yatom.h.

◆ NextOfPE

Prop NextOfPE

Definition at line 789 of file Yatom.h.

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