Duplicate

Feature #855

Constraint reifiers from other side?

Added by Lars Marius Garshol about 1 year ago. Updated about 1 year ago.

Status:Closed Start:2009-06-29
Priority:Normal Due date:
Assignee:Lars Marius Garshol % Done:

100%
Category:-
Target version:-

Description

If we say that occurrences of type X must be reified by topics of type Y, wouldn't it be reasonable to be able to say that topics of type Y must reify occurrences of type X? Otherwise it would be possible to create topics of type Y which reify nothing. Surely that would be wrong?

History

Updated by Graham Moore about 1 year ago

Add topic-reifies constaint.

Updated by Lars Marius Garshol about 1 year ago

  • Status changed from New to Assigned

Updated by Lars Marius Garshol about 1 year ago

  • Status changed from Assigned to Closed
  • % Done changed from 0 to 100

Now written up in the draft.

Duplicate

Also available in: Atom PDF