Fleet  0.0.9
Inference in the LOT
Public Member Functions | List of all members
FullLZEnumeration< Grammar_t > Class Template Reference

#include <FullLZEnumeration.h>

Public Member Functions

 FullLZEnumeration (Grammar_t *g)
 
size_t compute_possible_referents (const Node &root, const nonterminal_t nt)
 Compute the number of things in n which could be referenced Here, we will require references to prior nodes to be unique and complete and only of type nt. More...
 
Nodeget_referent (const Node &root, size_t cnt, const nonterminal_t nt)
 
virtual Node toNode (IntegerizedStack &is, const nonterminal_t nt, Node &root)
 Convert to a node, using root as the root – NOTE that when root is null, we use out as the root. More...
 
virtual Node toNode (enumerationidx_t z, const nonterminal_t nt, Node &root)
 
virtual Node toNode (enumerationidx_t z, const nonterminal_t nt)
 
virtual enumerationidx_t toInteger (const Node &root, const Node &n)
 

Detailed Description

template<typename Grammar_t>
class FullLZEnumeration< Grammar_t >

Author
piantado
Date
02/01/21

Constructor & Destructor Documentation

◆ FullLZEnumeration()

template<typename Grammar_t >
FullLZEnumeration< Grammar_t >::FullLZEnumeration ( Grammar_t *  g)
inline

Member Function Documentation

◆ compute_possible_referents()

template<typename Grammar_t >
size_t FullLZEnumeration< Grammar_t >::compute_possible_referents ( const Node root,
const nonterminal_t  nt 
)
inline

Compute the number of things in n which could be referenced Here, we will require references to prior nodes to be unique and complete and only of type nt.

Parameters
n
Returns

◆ get_referent()

template<typename Grammar_t >
Node& FullLZEnumeration< Grammar_t >::get_referent ( const Node root,
size_t  cnt,
const nonterminal_t  nt 
)
inline

◆ toInteger()

template<typename Grammar_t >
virtual enumerationidx_t FullLZEnumeration< Grammar_t >::toInteger ( const Node root,
const Node n 
)
inlinevirtual

◆ toNode() [1/3]

template<typename Grammar_t >
virtual Node FullLZEnumeration< Grammar_t >::toNode ( IntegerizedStack is,
const nonterminal_t  nt,
Node root 
)
inlinevirtual

Convert to a node, using root as the root – NOTE that when root is null, we use out as the root.

Parameters
nt
is
Returns

◆ toNode() [2/3]

template<typename Grammar_t >
virtual Node FullLZEnumeration< Grammar_t >::toNode ( enumerationidx_t  z,
const nonterminal_t  nt,
Node root 
)
inlinevirtual

◆ toNode() [3/3]

template<typename Grammar_t >
virtual Node FullLZEnumeration< Grammar_t >::toNode ( enumerationidx_t  z,
const nonterminal_t  nt 
)
inlinevirtual

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