def setAxiomFromString(self,textString):
"""
@param textString: Initial string to parse
@type textString: str
"""
newPString = ParametricString.fromTextString(textString)
newPString.setGlobals(self.globalDefines)
self.axiom = newPString
print("\nChange predecessor: parametric")
pm = ParametricModule.fromTextString("A(x)")
pp.setPredecessorModule(pm)
print(pp)
print(pm.letter)
print("\nChange condition: probability")
pp.setConditionFromString("0.8")
print(pp)
print("\nChange condition: parametric")
pp.setConditionFromString("x>0.9")
print(pp)
print("\nChange successor: parametric")
ps = ParametricString.fromTextString('F(x)A(p)')
pp.setSuccessorPstring(ps)
print(pp)
import random
rnd = random.Random()
print("\nCheck condition")
ps = ParametricString.fromTextString("A(1)")
print("Input: " + str(ps))
result = pp.check(ps, rnd)
print("Result: " + str(result))
print("\nConvert and evaluate (also globals)")
print("Input: " + str(ps))
ps = pp.convert(ps)
print("Result: " + str(ps))
