YAP 7.1.0
Public Attributes | List of all members
translation_entry

Public Attributes

Prop NextOfPE
 
PropFlags KindOfPE
 
arity_t arity
 
Int Translation
 

Detailed Description

Definition at line 954 of file Yatom.h.

Member Data Documentation

◆ arity

arity_t arity

Definition at line 957 of file Yatom.h.

◆ KindOfPE

PropFlags KindOfPE

Definition at line 956 of file Yatom.h.

◆ NextOfPE

Prop NextOfPE

Definition at line 955 of file Yatom.h.

◆ Translation

Int Translation

Definition at line 958 of file Yatom.h.

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