7 model(char *abstractfile, char *modelfile, char *spacefile,char *structfile, char *concretefile, char *rangefile);
8 DomainRelation * getdomainrelation();
9 structure *getstructure(char * name);
10 void doabstraction(); // processes the model definition rules
11 bool docheck(); // processes the internal constraints
12 void doconcrete(); // processes the external constraints
14 void breakspec(); // inserts faults that break the specs
15 void inserterrors(); // inserts faults that do not break the specs
17 NormalForm * getnormalform(Constraint *c);
18 Hashtable * gethashtable();
19 bitreader * getbitreader();
20 Guidance * getguidance();
21 int getnumconstraints();
22 Constraint * getconstraint(int i);
23 NormalForm * getnormalform(int i);
25 FieldCheck * getfieldcheck();
26 void triggerrule(Element *,char *);
27 int getnumrulenormal();
28 NormalForm * getrulenormal(int i);
29 bool subtypeof(structure *sub,structure *super);
30 typemap * gettypemap();
33 static const double prob_breakconstraint = 1; // the probability with which each constraint is broken when inserting errors
34 static const double prob_breakpredicate = 1; // the probability with which each predicate from the selected sentences is broken
35 static const double prob_modifyconstraint = 1; // the probability with which each constraint is modified when inserting errors
36 static const double prob_breaksatisfiedsentence = 1; // the probability with which each satisfied sentence is modified (broken) when inserting errors
37 static const double prob_repairbrokensentence = 1; // the probability with which each broken sentence is modified (repaired) when inserting errors
40 void parsespacefile(char *spacefile);
41 void parsestructfile(char *structfile);
42 void parseabstractfile(char *abstractfile);
43 void parseconcretefile(char *concretefile);
44 void parsemodelfile(char *modelfile);
45 void parserangefile(char *rangefile);
54 structure **structurearray; // the structure definitions
57 DomainRelation *domainrelation; // the sets and relations
59 Rule **rulearray; // the model definition rules
61 NormalForm **rulenormal; // the model definition rules in normal form
64 Constraint **constraintarray; // the internal constraints
66 NormalForm **constraintnormal; // the internal constraints in normal form
68 Rule **concretearray; // the external constraints