YAP 7.1.0
GroupDef

Public Attributes

ClauseDefFirstClause
 
ClauseDefLastClause
 
UInt VarClauses
 
UInt AtomClauses
 
UInt PairClauses
 
UInt StructClauses
 
UInt TestClauses
 

Detailed Description

Definition at line 55 of file index.h.

Member Data Documentation

◆ AtomClauses

UInt AtomClauses

Definition at line 59 of file index.h.

◆ FirstClause

ClauseDef* FirstClause

Definition at line 56 of file index.h.

◆ LastClause

ClauseDef* LastClause

Definition at line 57 of file index.h.

◆ PairClauses

UInt PairClauses

Definition at line 60 of file index.h.

◆ StructClauses

UInt StructClauses

Definition at line 61 of file index.h.

◆ TestClauses

UInt TestClauses

Definition at line 62 of file index.h.

◆ VarClauses

UInt VarClauses

Definition at line 58 of file index.h.


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