Python ErlangTerm.value Examples

Example #1

def mk_symb(s):
    """
    Parameters
        s : string
    """
    t = ErlangTerm()
    t.type = ErlangTerm.SYMBOLIC_VARIABLE
    t.value = s
    return t

Example #2

def mk_float(f):
    """
    Parameters
        f : float
    """
    t = ErlangTerm()
    t.type = ErlangTerm.FLOAT
    t.value = str(f)
    return t

Example #3

def mk_alias(s):
    """
    Parameters
        s : string
    """
    t = ErlangTerm()
    t.type = ErlangTerm.SUBTERM
    t.value = s
    return t

Example #4

def mk_int(i):
    """
    Parameters
        i : int
    """
    t = ErlangTerm()
    t.type = ErlangTerm.INTEGER
    t.value = str(i)
    return t

Example #5

File: cuter_common.py Project: aggelgian/cuter

def mk_int(i):
    """
    Parameters
        i : int
    """
    t = ErlangTerm()
    t.type = ErlangTerm.INTEGER
    t.value = str(i)
    return t

Example #6

File: cuter_common.py Project: aggelgian/cuter

def mk_symb(s):
    """
    Parameters
        s : string
    """
    t = ErlangTerm()
    t.type = ErlangTerm.SYMBOLIC_VARIABLE
    t.value = s
    return t

Example #7

File: cuter_common.py Project: aggelgian/cuter

def mk_alias(s):
    """
    Parameters
        s : string
    """
    t = ErlangTerm()
    t.type = ErlangTerm.SUBTERM
    t.value = s
    return t

Example #8

File: cuter_common.py Project: aggelgian/cuter

def mk_float(f):
    """
    Parameters
        f : float
    """
    t = ErlangTerm()
    t.type = ErlangTerm.FLOAT
    t.value = str(f)
    return t

Example #9

File: cuter_representation.py Project: uldza/cuter

 def toFloat(self, term):
     s = simplify(term)
     t = ErlangTerm()
     t.type = ErlangTerm.FLOAT
     t.value = str(float(s.numerator_as_long()) / float(s.denominator_as_long()))
     return t

Example #10

File: cuter_representation.py Project: uldza/cuter

 def toInt(self, term):
     t = ErlangTerm()
     t.type = ErlangTerm.INTEGER
     t.value = str(simplify(term).as_long())
     return t

Example #11

File: cuter_representation.py Project: uldza/cuter

 def toSymbolic(self, s):
     t = ErlangTerm()
     t.type = ErlangTerm.SYMBOLIC_VARIABLE
     t.value = s
     return t

Example #12

File: cuter_representation.py Project: aggelgian/cuter

 def toFloat(self, term):
     s = simplify(term)
     t = ErlangTerm()
     t.type = ErlangTerm.FLOAT
     t.value = str(float(s.numerator_as_long()) / float(s.denominator_as_long()))
     return t

Example #13

File: cuter_representation.py Project: aggelgian/cuter

 def toInt(self, term):
     t = ErlangTerm()
     t.type = ErlangTerm.INTEGER
     t.value = str(simplify(term).as_long())
     return t

Example #14

File: cuter_representation.py Project: aggelgian/cuter

 def toSymbolic(self, s):
     t = ErlangTerm()
     t.type = ErlangTerm.SYMBOLIC_VARIABLE
     t.value = s
     return t