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))