Awali
Another Weighted Automata library
Public Member Functions | Data Fields
awali::dyn::internal::option_value_pair_t Struct Reference

#include <value.hh>

Public Member Functions

 option_value_pair_t (size_t i, internal::opt_any_t v)
 

Data Fields

size_t id
 
internal::opt_any_t value
 

Constructor & Destructor Documentation

◆ option_value_pair_t()

awali::dyn::internal::option_value_pair_t::option_value_pair_t ( size_t  i,
internal::opt_any_t  v 
)

Field Documentation

◆ id

size_t awali::dyn::internal::option_value_pair_t::id

◆ value

internal::opt_any_t awali::dyn::internal::option_value_pair_t::value

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