7.2.66 Test principle

• identifier: principle.test
• dimension variables: none
• argument variables: none
• default values: none
• model record: empty
• constraints: Test (priority 120)
• edge constraints: none

This principle can be used to try out new constraints, without having to worry yet about the principle definition, makefiles etc. After trying out, principles should however be properly integrated into the XDK, as described in Writing new principles (Writing new principles).

Here is the definition of the Test constraint functor:

%% Copyright 2001-2008
%% by Ralph Debusmann <rade@ps.uni-sb.de> (Saarland University) and
%%    Denys Duchier <duchier@ps.uni-sb.de> (LIFO, Orleans) and
%%    Jorge Marques Pelizzoni <jpeliz@icmc.usp.br> (ICMC, Sao Paulo) and
%%    Jochen Setz <info@jochensetz.de> (Saarland University)
%%
functor
import
%   System(show)
export
   Constraint
define
   proc {Constraint Nodes G Principle FD FS Select}
      skip
   end
end