第三章约束推理(ppt).pptVIP

* 史忠植 约束推理 * ILOG Schedule 1.0 Resources CtResource CtDiscreteResource CtUnaryResource CtDiscreteEnergy CtStateResource * 史忠植 约束推理 * ILOG Schedule 1.0 Activities CtActivity class CtIntervalActivity An activity is defined by its start time, end time and duration Activities require, provide, consume and produce resources * 史忠植 约束推理 * Scheduling Problem Prices paid as tasks begin $1000 per day Availability: Day 0:$20000, Day 15: +$9000 * 史忠植 约束推理 * Constraints // To create a schedule with origin 0 and given horizon. CtSchedule* schedule new CtSchedule 0, horizon ; ? // To create an activi