Skip to main content

module demo::lang::MissGrant::ToRelation

rascal-0.34.0

Usage​

import demo::lang::MissGrant::ToRelation;

Dependencies​

import  demo::lang::MissGrant::AST;

alias TransRel​

rel[str state, str eventToken,  str toState]

alias ActionRel​

rel[str state, str commandToken]

function transRel​

public TransRel transRel(Controller ctl) = { <s1, e, s2> | /state(s1, _, ts) <- ctl, transition(e, s2) <- ts };

function commands​

public ActionRel commands(Controller ctl) = {<s, a> | /state(s, as, _) <- ctl, a <- as };