Attributed variales are controlled by the attvar_record. More...

#include <attvar.h>

Public Attributes
Functor	AttFunc

Term	Done

Term	Future

Term	Atts

Detailed Description

Attributed variales are controlled by the attvar_record.

This includes three pieces of information: A pointer to the list of attributes; The value for the variable, if the variable was bound Whether we are done with this variable as an attributed variable An array of NUM_OF_ATTS attributes

Each attribute contains;

o a time stamp; o the current value ([] if unbound)

Definition at line 49 of file attvar.h.

Member Data Documentation

◆ AttFunc

Functor AttFunc

Definition at line 50 of file attvar.h.

◆ Atts

Term Atts

Definition at line 53 of file attvar.h.

◆ Done

Term Done

Definition at line 51 of file attvar.h.

◆ Future

Term Future

Definition at line 52 of file attvar.h.

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