is_concrete

Description:

public bool is_concrete ()

Checks if the policy is concrete or if it depends on global variables.

Returns:

true if this policy does not depend on global variables