context.weight_one()

The weight one of a context.

Preconditions:

  • none
In [1]:
import vcsn
def context(ctx):
    return vcsn.context(ctx)
In [2]:
context('lal_char, b').weight_one()
Out[2]:
$\top$
In [3]:
context('lal_char, z').weight_one()
Out[3]:
$1$
In [4]:
context('lal_char, zmin').weight_one()
Out[4]:
$0$