YAP 7.1.0
Public Attributes | List of all members
subgoal_trie_hash

Public Attributes

Term mark
 
int number_of_buckets
 
struct subgoal_trie_node ** buckets
 
int number_of_nodes
 

Detailed Description

Definition at line 128 of file tab.structs.h.

Member Data Documentation

◆ buckets

struct subgoal_trie_node** buckets

Definition at line 133 of file tab.structs.h.

◆ mark

Term mark

Definition at line 131 of file tab.structs.h.

◆ number_of_buckets

int number_of_buckets

Definition at line 132 of file tab.structs.h.

◆ number_of_nodes

int number_of_nodes

Definition at line 134 of file tab.structs.h.

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