Ash.SatSolver (ash v1.37.2) View Source

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

Link to this section Summary

Functions

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_inclusive(predicates, acc \\ [])

overlap?(arg1, arg2)

right_excludes_left(left, right)

right_implies_left(left, right)

solve_expression(expression)

split_in_expressions(sub_expr, non_equal_overlap)

strict_filter_subset(filter, candidate)

synonymous_relationship_paths?(resource, candidate_path, path)

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

transform_and_solve(resource, expression)

Link to this section Functions

b(statement)

(macro)

balance(other)

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_inclusive(predicates, acc \\ [])

overlap?(arg1, arg2)

right_excludes_left(left, right)

right_implies_left(left, right)

solve_expression(expression)

split_in_expressions(sub_expr, non_equal_overlap)

strict_filter_subset(filter, candidate)

synonymous_relationship_paths?(resource, candidate_path, path)

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

transform_and_solve(resource, expression)