# This file is governed by the Creative Commons license
#   Attribution-NonCommercial 4.0 Unported
#   http://creativecommons.org/licenses/by-nc/4.0/
#   http://creativecommons.org/licenses/by-nc/4.0/legalcode
#
# Extended licenses, in particular commercial licenses, can be obtained from the
# author of the source code.
# Any re-distribution as source code must acknowledge the original author of this file.

#
# File: deeptelos-principle.cbs
# Author: Manfred Jeusfeld, manfred.jeusfeld@acm.org
# Date: 2016-08-18 (2016-08-19)
#----------------------------------------------------------------
# Purely generic example to show how DeepTelos works

cbserver -port 4411 -t low -new PRINCIPLEDB

tellModel deeptelos.sml.txt

tellModel deeptelos-GTs.sml.txt



# Define a most general instance M of C
tell "

C end

M with
 IN class: C
 attribute
   a: d
end

d end
"



mkdir MODEL
cd MODEL


tell "
c1 in C end
c2 in C end
"


mkdir EXAMPLE
cd EXAMPLE

tell "
x1 in c1 with
  a a: v1
end

v1 in d end

x2 in c1 end
x3 in c1 end

y1 in c2 end
y2 in c2 end
y3 in c2 end
"