Commit 93da7dd0 authored by Jonathan Shahen's avatar Jonathan Shahen

Fixing separator error in output for both ASAPTime's

parent 90d94ba4
......@@ -4,4 +4,4 @@ CONFIG <numRoles> <numTimeslots>
GOAL <goalRole> <goalTimeslot>
<! !>
<! can_revoke 3 , t3 , true ; t5 , 14 !>
<rules_nsa:{r|<r.ruleType> <if(r.adminRole)><r.adminRole><else>true<endif> , t<r.adminTime> , <if(r.precondition)><r.precondition; separator=" & "><else>true<endif> ; t<r.roleTime> , <r.role><\n>}>
\ No newline at end of file
<rules_nsa:{r|<r.ruleType> <if(r.adminRole)><r.adminRole><else>true<endif> , t<r.adminTime> , <if(r.precondition)><r.precondition; separator=" "><else>true<endif> ; t<r.roleTime> , <r.role><\n>}>
\ No newline at end of file
......@@ -3,5 +3,5 @@
CONFIG <numRoles> <numTimeslots>
GOAL <goalRole> <goalTimeslot>
<! !>
<! can_revoke t3 , true ; t5 , 14 !>
<rules_sa:{r|<r.ruleType> t<r.adminTime> , <if(r.precondition)><r.precondition; separator=" & "><else>true<endif> ; t<r.roleTime> , <r.role><\n>}>
\ No newline at end of file
<! can_revoke t3 , 28 -5 -3 -8 ; t5 , 14 !>
<rules_sa:{r|<r.ruleType> t<r.adminTime> , <if(r.precondition)><r.precondition; separator=" "><else>true<endif> ; t<r.roleTime> , <r.role><\n>}>
\ No newline at end of file
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment