public ProbProperties() { formulaList = new FormulaList(); labelList = new LabelList(); constantList = new ConstantList(); properties = new List <Property>(); }
public Modules(ModelType type, List <VarDeclaration> vars, FormulaList formulae, LabelList labels, ConstantList constants, List <Module> allAllModules, List <RewardStruct> rewardStructs, Expression initExp) { modelType = type; GlobalVars = vars; formulaList = formulae; labelList = labels; constantList = constants; AllModules = allAllModules; this.rewardStructs = rewardStructs; init = initExp; List <SystemDef> sys = new List <SystemDef>(); foreach (var module in AllModules) { sys.Add(new SingleModuleSystem(module.Name)); } systemDef = new FullParallelSystem(sys); }