public override object Visit(RoleInversion e)
{
using (isKindOf.set("R"))
{
var r = e.R.accept(this) as Tuple <bool, string>;
return(Tuple.Create(!r.Item1, r.Item2));
}
}
public object Visit(RoleInversion e)
{
return(RINV(e.R));
}
