Example #1
0
 public ProbProperties()
 {
     formulaList  = new FormulaList();
     labelList    = new LabelList();
     constantList = new ConstantList();
     properties   = new List <Property>();
 }
Example #2
0
        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);
        }