I have a line in task.cl:
Code: Select all
properties
preConditions : setM{cond}.
Code: Select all
facts
preConditions : setM{cond}.
Code: Select all
properties
preConditions : setM{cond}.
Code: Select all
facts
preConditions : setM{cond}.
Code: Select all
class facts
preConditions : setM{cond} := setM_redBlack::new().