public void Initialize()
{
a = new Principal(nameof(a));
b = new Principal(nameof(b));
p1 = new PolicyLabel(new Policy(a, a));
p2 = new PolicyLabel(new Policy(b, b));
c1 = new ConstantLabel(nameof(c1));
c2 = new ConstantLabel(nameof(c2));
v1 = new VariableLabel(nameof(v1));
v2 = new VariableLabel(nameof(v2));
}
public void Initialize()
{
o1 = new Principal(nameof(o1));
o2 = new Principal(nameof(o2));
o3 = new Principal(nameof(o3));
r1 = new Principal(nameof(r1));
r2 = new Principal(nameof(r2));
r3 = new Principal(nameof(r3));
l1 = new PolicyLabel(new List <Policy>
{
new Policy(o1, r1, r2, r3),
new Policy(o2, r1, r2, r3)
});
l2 = new PolicyLabel(new List <Policy>
{
new Policy(o1, r1, r2, r3),
new Policy(o2, r2)
});
l3 = new PolicyLabel(new List <Policy>
{
new Policy(o1, r2),
new Policy(o2)
});
l4 = new PolicyLabel(new List <Policy>
{
new Policy(o1),
new Policy(o2)
});
l5 = new PolicyLabel(new List <Policy>
{
new Policy(o1, r1),
new Policy(o2, r2)
});
l6 = new PolicyLabel(new List <Policy>
{
new Policy(o1, r1),
new Policy(o2, r2),
new Policy(o3, r2)
});
l7 = new PolicyLabel(new List <Policy>
{
new Policy(o1, r1),
new Policy(o2, r2),
new Policy(o3, r3)
});
l8 = new PolicyLabel(new List <Policy>
{
new Policy(o1, r2),
new Policy(o2, r2),
new Policy(o3, r2)
});
l9 = new PolicyLabel(new Policy(o1, r2));
l10 = new PolicyLabel(new Policy(o1));
}
