User Manual of the RODIN Platform
User Manual of the RODIN Platform
User Manual of the RODIN Platform
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>User</strong> <strong>Manual</strong> <strong>of</strong> <strong>the</strong> <strong>RODIN</strong> <strong>Platform</strong><br />
Contents<br />
1 Project 1<br />
1.1 Project Constituents and Relationships . . . . . . . . . . . . . . . . . . . . . . . . . . . 1<br />
1.2 The Project Explorer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2<br />
1.3 Creating a Project . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3<br />
1.4 Removing a Project . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />
1.5 Exporting a Project . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />
1.6 Importing a Project . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
1.7 Changing <strong>the</strong> Name <strong>of</strong> a Project . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
1.8 Creating a Component . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
1.9 Removing a Component . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6<br />
2 Anatomy <strong>of</strong> a Context 6<br />
2.1 Carrier Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
2.1.1 Carrier Sets Creation Wizard. . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
2.1.2 Direct Editing <strong>of</strong> Carrier Sets. . . . . . . . . . . . . . . . . . . . . . . . . . . . 8<br />
2.2 Enumerated Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />
2.3 Constants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10<br />
2.3.1 Constants Creation Wizard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10<br />
2.3.2 Direct Editing <strong>of</strong> Constants. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11<br />
2.4 Axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
2.4.1 Axioms Creation Wizard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
2.4.2 Direct Editing <strong>of</strong> Axioms. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12<br />
2.5 Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13<br />
2.5.1 Theorems Creation Wizard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13<br />
2.5.2 Direct Editing <strong>of</strong> Theorems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14<br />
2.6 Adding Comments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
2.7 Dependencies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15<br />
2.8 Pretty Print . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16<br />
i