Toggle navigation
Toggle navigation
This project
Loading...
Sign in
mirela
/
scp
Go to a project
Toggle navigation
Toggle navigation pinning
Projects
Groups
Snippets
Help
Project
Activity
Repository
Pipelines
Graphs
Issues
0
Merge Requests
0
Wiki
Network
Create a new issue
Builds
Commits
Authored by
Johan ARCILE
2017-06-02 15:58:27 +0000
Browse Files
Options
Browse Files
Download
Email Patches
Plain Diff
Commit
e2e651e5b29f06999074a2ebe8fc9c44b2827b21
e2e651e5
1 parent
0ee2e2e4
Upload new file
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
30 additions
and
0 deletions
Ex3/Prism/Ex3.props
Ex3/Prism/Ex3.props
0 → 100644
View file @
e2e651e
E [ F E [ G sCa=3 ] ]
E [ F A [ G sCa=3 ] ]
E [ F E [ G sCa=3&E [ F sCa!=3 ] ] ]
E [ F E [ G sP=3 ] ]
E [ F A [ G sP=3 ] ]
E [ F E [ G sP=3&E [ F sP!=3 ] ] ]
E [ F E [ G sPr=1 ] ]
E [ F A [ G sPr=1 ] ]
E [ F E [ G sPr=1&E [ F sPr!=1 ] ] ]
E [ F E [ G sPr=3 ] ]
E [ F A [ G sPr=3 ] ]
E [ F E [ G sPr=3&E [ F sPr!=3 ] ] ]
E [ F E [ G sF=1 ] ]
E [ F A [ G sF=1 ] ]
E [ F E [ G sF=1&E [ F sF!=1 ] ] ]
Please
register
or
login
to post a comment