REFEREE Invocation
REFEREE Invocation
input a policy-name and additional arguments
REFEREE gets the corresponding policy and the interpreter
run the policy with the arguments in the interpreter
output a tri-value and a list of statements
Previous slide
Next slide
Back to the first slide
View Graphic Version