YAP 7.1.0
Public Attributes | List of all members
write_globs

Public Attributes

StreamDesc * stream
 
bool Quote_illegal
 
bool Ignore_ops
 
bool Handle_vars
 
bool Handle_old_vars
 
bool Use_portray
 
bool Portray_delays
 
bool Keep_terms
 
bool Write_Loops
 
bool Write_strings
 
UInt last_atom_minus
 
UInt MaxDepth
 
UInt MaxArgs
 
wtype lw
 
CELL * oldH
 
CELL * hbase
 
Functor FunctorNumberVars
 

Detailed Description

Definition at line 63 of file write.c.

Member Data Documentation

◆ FunctorNumberVars

Functor FunctorNumberVars

Definition at line 73 of file write.c.

◆ Handle_old_vars

bool Handle_old_vars

Definition at line 65 of file write.c.

◆ Handle_vars

bool Handle_vars

Definition at line 65 of file write.c.

◆ hbase

CELL * hbase

Definition at line 72 of file write.c.

◆ Ignore_ops

bool Ignore_ops

Definition at line 65 of file write.c.

◆ Keep_terms

bool Keep_terms

Definition at line 66 of file write.c.

◆ last_atom_minus

UInt last_atom_minus

Definition at line 69 of file write.c.

◆ lw

wtype lw

Definition at line 71 of file write.c.

◆ MaxArgs

UInt MaxArgs

Definition at line 70 of file write.c.

◆ MaxDepth

UInt MaxDepth

Definition at line 70 of file write.c.

◆ oldH

CELL* oldH

Definition at line 72 of file write.c.

◆ Portray_delays

bool Portray_delays

Definition at line 65 of file write.c.

◆ Quote_illegal

bool Quote_illegal

Definition at line 65 of file write.c.

◆ stream

StreamDesc* stream

Definition at line 64 of file write.c.

◆ Use_portray

bool Use_portray

Definition at line 65 of file write.c.

◆ Write_Loops

bool Write_Loops

Definition at line 67 of file write.c.

◆ Write_strings

bool Write_strings

Definition at line 68 of file write.c.

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