def __init__(self, n, stringFormat=None, latexFormat=None):
if stringFormat is None: stringFormat = str(n)
Literal.__init__(self,
stringFormat,
extraCoreInfo=[str(n)],
context=__file__)
if not isinstance(n, int):
raise ValueError("'n' of a Numeral must be an integer")
self.n = n
def __init__(self, n, string_format=None, latex_format=None, *,
styles=None):
if string_format is None:
string_format = str(n)
Literal.__init__(
self, string_format, extra_core_info=[str(n)],
theory=__file__, styles=styles)
if not isinstance(n, int):
raise ValueError("'n' of a Numeral must be an integer")
self.n = n
def __init__(self):
Literal.__init__(self, 'i', r'\mathsf{i}', theory=__file__)
def __init__(self, *, styles=None):
Literal.__init__(
self, string_format='BOOLEAN', latex_format=r'\mathbb{B}',
styles=styles)
def __init__(self, *, styles=None):
Literal.__init__(self, string_format='FALSE', latex_format=r'\bot',
styles=styles)
def __init__(self, *, styles=None):
Literal.__init__(self, string_format='TRUE', latex_format=r'\top',
styles=styles)
def __init__(self, *, styles=None):
Literal.__init__(
self, string_format='HilbertSpaces',
latex_format=r'\textrm{HilbertSpaces}',
styles=styles)
def __init__(self):
Literal.__init__(self, stringFormat='FALSE', latexFormat=r'\bot')
def __init__(self, string, latex, *, theory, styles, fence_when_forced=False):
Literal.__init__(self, string, latex, theory=theory, styles=styles,
fence_when_forced=fence_when_forced)
def __init__(self, *, styles=None):
Literal.__init__(self,
'i',
r'\mathsf{i}',
theory=__file__,
styles=styles)
def __init__(self):
Literal.__init__(self,
string_format='BOOLEAN',
latex_format=r'\mathbb{B}')
def __init__(self):
Literal.__init__(self,
stringFormat='emptyset',
latexFormat=r'\emptyset')
def __init__(self, string_format, latex_format=None, *, styles=None):
Literal.__init__(self,
string_format,
latex_format,
theory=__file__,
styles=styles)
def __init__(self, stringFormat, latexFormat=None):
Literal.__init__(self, stringFormat, latexFormat, context=__file__)
def __init__(self, string, latex, context):
Literal.__init__(self, string, latex, context=context)
def __init__(self, *, styles=None):
Literal.__init__(self,
string_format='SampleSpaces',
latex_format=r'\textrm{SampleSpaces}',
styles=styles)
def __init__(self, string, latex, theory):
Literal.__init__(self, string, latex, theory=theory)
def __init__(self):
Literal.__init__(self, stringFormat='TRUE', latexFormat=r'\top')
def __init__(self):
Literal.__init__(self, 'i', context=__file__)
def __init__(self):
Literal.__init__(self, stringFormat='BOOLEANS', latexFormat=r'\mathbb{B}')
def __init__(self, *, styles=None):
Literal.__init__(self, 'Q*', r'\mathcal{Q^*}', styles=styles)
