def buildIPTPropS(s):
"""Builds a IPTProp from a FAdo SFT string
:param str s: file name
:rtype: IPTProp"""
t = fio.readOneFromString(s)
return IPTProp(t)
def buildErrorCorrectPropS(s):
""" Builds an Error Correcting Property from string
:param str s: transducer string
:rtype: ErrCorrectProp"""
t = fio.readOneFromString(s)
return ErrCorrectProp(t)
def buildIATPropS(s):
"""Builds a IATProp from a FAdo SFT string
:param str s: string containing SFT
:rtype: IATProp"""
t = fio.readOneFromString(s)
return IATProp(t)