1.23
2.0
acw/focus-triggers
main
test-branch
|
Last change
on this file since f7e5282 was ec05aea, checked in by Manchun Zheng <zmanchun@…>, 11 years ago |
|
renamed $elaborate_rectangular_domain to $elaborate_domain; made it a more general method; cleaned up model builder; added java docs for $elaborate and its helper methods.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@2618 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
933 bytes
|
| Line | |
|---|
| 1 | /* This header file contains the core definitions of the CIVL-C language,
|
|---|
| 2 | * including standard types and function prototypes.
|
|---|
| 3 | */
|
|---|
| 4 |
|
|---|
| 5 | #ifndef __CIVLC_CIVL__
|
|---|
| 6 | #define __CIVLC_CIVL__
|
|---|
| 7 |
|
|---|
| 8 | #include <civlc.cvh>
|
|---|
| 9 | //#include <domain.cvh>
|
|---|
| 10 |
|
|---|
| 11 | /* Completes the declaration of this type in civlc.cvh */
|
|---|
| 12 | struct $int_iter {
|
|---|
| 13 | int size;
|
|---|
| 14 | int content[];
|
|---|
| 15 | int index; //initialized as 0
|
|---|
| 16 | };
|
|---|
| 17 |
|
|---|
| 18 | /*void $elaborate(int x) {
|
|---|
| 19 | if(!$is_concrete_int(x))
|
|---|
| 20 | for(int i=0; i<x; i++);
|
|---|
| 21 | }*/
|
|---|
| 22 |
|
|---|
| 23 | /*
|
|---|
| 24 | void $elaborate_rectangular_domain($domain domain){
|
|---|
| 25 | if(!$is_rectangular_domain(domain))
|
|---|
| 26 | return;
|
|---|
| 27 | for(int i=0; i<$dimension_of(domain); i++){
|
|---|
| 28 | $range range=$range_of_rectangular_domain(domain, i);
|
|---|
| 29 |
|
|---|
| 30 | if(!($is_regular_range(range)))
|
|---|
| 31 | continue;
|
|---|
| 32 |
|
|---|
| 33 | int high=$high_of_regular_range(range);
|
|---|
| 34 | int low=$low_of_regular_range(range);
|
|---|
| 35 |
|
|---|
| 36 | if(!$is_concrete_int(high))
|
|---|
| 37 | $elaborate(high);
|
|---|
| 38 | if(!$is_concrete_int(low))
|
|---|
| 39 | $elaborate(low);
|
|---|
| 40 | }
|
|---|
| 41 | }*/
|
|---|
| 42 |
|
|---|
| 43 | #endif
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
