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

#include <EnumerationInference.h>

Public Member Functions

 EnumerationInterface (Grammar_t *g)
 
virtual Node toNode (IntegerizedStack &is, ARGS... args)
 Subclass must implement for IntegerizedStack. More...
 
virtual Node toNode (enumerationidx_t z, ARGS... args)
 Expand an integer to a node using this nonterminal type. More...
 
virtual enumerationidx_t toInteger (const Node &n, ARGS... args)
 Convert a node to an integer (should be the inverse of toNode) More...
 

Public Attributes

Grammar_t * grammar
 

Detailed Description

template<typename Grammar_t, typename... ARGS>
class EnumerationInterface< Grammar_t, ARGS >

Author
piantado
Date
02/01/21

Constructor & Destructor Documentation

◆ EnumerationInterface()

template<typename Grammar_t , typename... ARGS>
EnumerationInterface< Grammar_t, ARGS >::EnumerationInterface ( Grammar_t *  g)
inline

Member Function Documentation

◆ toInteger()

template<typename Grammar_t , typename... ARGS>
virtual enumerationidx_t EnumerationInterface< Grammar_t, ARGS >::toInteger ( const Node n,
ARGS...  args 
)
inlinevirtual

Convert a node to an integer (should be the inverse of toNode)

Parameters
n
Returns

◆ toNode() [1/2]

template<typename Grammar_t , typename... ARGS>
virtual Node EnumerationInterface< Grammar_t, ARGS >::toNode ( IntegerizedStack is,
ARGS...  args 
)
inlinevirtual

Subclass must implement for IntegerizedStack.

Parameters
nt
is
Returns

◆ toNode() [2/2]

template<typename Grammar_t , typename... ARGS>
virtual Node EnumerationInterface< Grammar_t, ARGS >::toNode ( enumerationidx_t  z,
ARGS...  args 
)
inlinevirtual

Expand an integer to a node using this nonterminal type.

Parameters
nt
z
Returns

Member Data Documentation

◆ grammar

template<typename Grammar_t , typename... ARGS>
Grammar_t* EnumerationInterface< Grammar_t, ARGS >::grammar

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