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