# 
# File: test-SATEXAMPLESDB-OneConstraint.cbs
# Author: Manfred Jeusfeld, Thomas Kuehne
# Created: 2024-02-24 (2024-02-24/Manfred)
# -----------------------------------------------------
# Call: cbshell  test-SATEXAMPLESDB-OneConstraint.cb
# This script tests the MultiDim constraint (just one)
#



# connect 
startServer -d MULTIDIMDB -t high -u nonpersistent 

cd MultiDim
mkdir SatelliteArtifacts
cd SatelliteArtifacts


tell "
MultiDimRules with
  constraint

 c1: $ forall x,c1,c2/Element t1,t2/DataType a1,a2/ElementAttribute lab/Label
                  ((x instanceOf c1) or (x isA c1)) and ((x instanceOf c2) or (x isA c2)) and
                  Pa(a1,c1,lab,t1) and Pa(a2,c2,lab,t2)  and (x <> c1) and (x<>c2) ==>  (c1 = c2) $
end
"