View Source Ash.SatSolver (ash v2.15.17)

Tools for working with the satsolver that drives filter subset checking (for authorization)

Summary

Functions

b(statement)

balance(other)

can_be_used_as_group?(group, scenarios, bindings)

contains?(l1, l2)

expand_groups(expression)

find_non_equal_overlap(expression)

fully_simplify(expression)

left_excludes_right(left, right)

left_implies_right(left, right)

lift_equals_out_of_in(expression)

mutually_exclusive(predicates, acc \\ [])

mutually_exclusive_and_collectively_exhaustive(predicates)

mutually_inclusive(predicates, acc \\ [])

overlap?(arg1, arg2)

right_excludes_left(left, right)

right_implies_left(left, right)

solutions_to_predicate_values(solution, bindings)

solve_expression(cnf)

split_in_expressions(sub_expr, non_equal_overlap)

strict_filter_subset(filter, candidate)

synonymous_relationship_paths?(left_resource, candidate, search, right_resource \\ nil)

to_cnf(expression)

transform(resource, expression)

transform_and_solve(resource, expression)

unbind(expression, map)

Functions

b(statement)

(macro)

balance(other)

can_be_used_as_group?(group, scenarios, bindings)

contains?(l1, l2)

expand_groups(expression)

find_non_equal_overlap(expression)

fully_simplify(expression)

left_excludes_right(left, right)

left_implies_right(left, right)

lift_equals_out_of_in(expression)

mutually_exclusive(predicates, acc \\ [])

mutually_exclusive_and_collectively_exhaustive(predicates)

mutually_inclusive(predicates, acc \\ [])

overlap?(arg1, arg2)

right_excludes_left(left, right)

right_implies_left(left, right)

solutions_to_predicate_values(solution, bindings)

solve_expression(cnf)

split_in_expressions(sub_expr, non_equal_overlap)

strict_filter_subset(filter, candidate)

synonymous_relationship_paths?(left_resource, candidate, search, right_resource \\ nil)

to_cnf(expression)

transform(resource, expression)

transform_and_solve(resource, expression)

unbind(expression, map)