Awali
Another Weighted Automata library
Public Types | Public Member Functions | Static Public Member Functions | Data Fields
awali::sttc::internal::gf2_impl Class Reference

#include <gf2.hh>

Public Types

enum  gf2_value {
  Z , O , X , X_O ,
  X2 , X2_O , X2_X , X2_X_O
}
 
using self_type = gf2
 
using value_t = gf2_value
 

Public Member Functions

std::string vname (bool=true) const
 

Static Public Member Functions

static std::string sname ()
 

Data Fields

enum awali::sttc::internal::gf2_impl::gf2_value addition_table [8][8]
 

Member Typedef Documentation

◆ self_type

◆ value_t

Member Enumeration Documentation

◆ gf2_value

Enumerator
X_O 
X2 
X2_O 
X2_X 
X2_X_O 

Member Function Documentation

◆ sname()

static std::string awali::sttc::internal::gf2_impl::sname ( )
static

◆ vname()

std::string awali::sttc::internal::gf2_impl::vname ( bool  = true) const

Field Documentation

◆ addition_table

enum awali::sttc::internal::gf2_impl::gf2_value awali::sttc::internal::gf2_impl::addition_table[8][8]
Initial value:
= {
{ Z, O, X, X_O, X2, X2_O, X2_X, X2_X_O }
{ O, Z, X_O, X, X2_O, X2, X2_X_O, X2_X }
{ X, X_O, Z, O, X2_X, X2_X_O, X2, X2_O }
{ X_O, X, O, Z, X2_X_O, X2_X, X2_O, X2 }
{ X2, X2_O, X2_X, X2_X_O, Z, O, X, X_O }
{ X2_O, X2, X2_X_O, X2_X, O, Z, X_O, X }
{ X2_X, X2_X_O, X2, X2_O, X, X_O, Z, O }
{ X2_X_O, X2_X, X2_O, X2, X_O, X, O, Z }
}
@ X2
Definition: gf2.hh:50
@ X2_O
Definition: gf2.hh:50
@ X
Definition: gf2.hh:50
@ Z
Definition: gf2.hh:50
@ X2_X_O
Definition: gf2.hh:50
@ X2_X
Definition: gf2.hh:50
@ X_O
Definition: gf2.hh:50
@ O
Definition: gf2.hh:50

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