If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)

Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie

Hi there,
There is an issue with role permissions that is being worked on at the moment.
If you are having trouble with access or permissions on regional forums please post here to get access: https://www.boards.ie/discussion/2058365403/you-do-not-have-permission-for-that#latest

CafeOBJ

projectmayhem · 2007-12-14 13:14:24

gentlemen, i come with an issue. i've got a project due soon based in CafeOBJ, but i've no idea what to do. the questions are grand enough, as i understand the scripts themselves, and can draw the graphs around them... but i've to provide cafeOBJ commands to prove certain things (if example 1 is a lattice graph or…

14-12-2007 1:14pm

#1

projectmayhem

Registered Users, Registered Users 2 Posts: 9,480 ✭✭✭

Join Date: March 2003

Posts: 9285

gentlemen, i come with an issue.

i've got a project due soon based in CafeOBJ, but i've no idea what to do. the questions are grand enough, as i understand the scripts themselves, and can draw the graphs around them... but i've to provide cafeOBJ commands to prove certain things (if example 1 is a lattice graph or whatever).

i've spent the guts of an hour trawling the interwebs for some good tutorials to no avail (the official documents are really just examples of what things do what, rather then examples on how to solve questions) and can't figure this stuff out for myself. anyone got any experience with this thing?

0