Method List

Classes Methods Files

Search:

#== ARBACVerifier::UserRole
#apply ARBACVerifier::Rules::CanRevoke
#apply ARBACVerifier::Rules::CanAssign
#backward_slicing ARBACVerifier::Utils
#can_apply? ARBACVerifier::Rules::CanAssign
#can_apply? ARBACVerifier::Rules::CanRevoke
#can_assign_rules ARBACVerifier::Instance
#can_revoke_rules ARBACVerifier::Instance
#eql? ARBACVerifier::UserRole
#forward_slicing ARBACVerifier::Utils
#goal ARBACVerifier::Instance
#hash ARBACVerifier::UserRole
#initialize ARBACVerifier::Rules::CanRevoke
#initialize ARBACVerifier::Instance
#initialize ARBACVerifier::UserRole
#initialize ARBACVerifier::ReachabilityVerifier
#initialize ARBACVerifier::Rules::CanAssign
#instance ARBACVerifier::ReachabilityVerifier
logger ARBACVerifier::ReachabilityVerifier
#negative_precondition_roles ARBACVerifier::Rules::CanAssign
#overaproximate_reachable_roles ARBACVerifier::Utils
#overaproximate_relevant_roles ARBACVerifier::Utils
#positive_precondition_roles ARBACVerifier::Rules::CanAssign
#role ARBACVerifier::UserRole
#roles ARBACVerifier::Instance
set_logger ARBACVerifier::ReachabilityVerifier
#target_role ARBACVerifier::Rules::CanAssign
#target_role ARBACVerifier::Rules::CanRevoke
#user ARBACVerifier::UserRole
#user_role ARBACVerifier::Rules::CanAssign
#user_role ARBACVerifier::Rules::CanRevoke
#user_to_role ARBACVerifier::Instance
#users ARBACVerifier::Instance
#verify ARBACVerifier::ReachabilityVerifier