Re: [henshin-dev] Info on OCL Invariant check

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [henshin-dev] Info on OCL Invariant check

From: Christian Krause <henshin.ck@xxxxxxxxx>
Date: Tue, 29 Oct 2013 07:07:42 +0100
Delivered-to: henshin-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/henshin-dev>
List-help: <mailto:henshin-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/henshin-dev>, <mailto:henshin-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/henshin-dev>, <mailto:henshin-dev-request@eclipse.org?subject=unsubscribe>

Hi Subramanya,

could you check whether you have the OCL plugins installed? Just go to the standard Eclipse update site and search for "OCL".

Cheers,

Christian

2013/10/28 Subramanya K G <subramanya.kg@xxxxxxxxx>

Hi,

I am trying to check the invariant property given in the wiki for dining philosopher problem, but I do not find the OCL(invariant) choice in the drop down menu. Can any one please suggest me regarding this.

Thanks

--

Thanks & Regards,
Subramanya

_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev

Follow-Ups:
- Re: [henshin-dev] Info on OCL Invariant check
  - From: Subramanya K G

References:
- [henshin-dev] Info on OCL Invariant check
  - From: Subramanya K G

Prev by Date: [henshin-dev] Info on OCL Invariant check
Next by Date: Re: [henshin-dev] Info on OCL Invariant check
Previous by thread: [henshin-dev] Info on OCL Invariant check
Next by thread: Re: [henshin-dev] Info on OCL Invariant check
Index(es):
- Date
- Thread

Breadcrumbs