Ash.SatSolver (ash v1.50.9) View Source

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

Link to this section Summary

Link to this section Functions

Link to this function

find_non_equal_overlap(expression)

View Source
Link to this function

fully_simplify(expression)

View Source
Link to this function

left_excludes_right(left, right)

View Source
Link to this function

left_implies_right(left, right)

View Source
Link to this function

lift_equals_out_of_in(expression)

View Source
Link to this function

mutually_exclusive(predicates, acc \\ [])

View Source
Link to this function

mutually_exclusive_and_collectively_exhaustive(predicates)

View Source
Link to this function

mutually_inclusive(predicates, acc \\ [])

View Source
Link to this function

right_excludes_left(left, right)

View Source
Link to this function

right_implies_left(left, right)

View Source
Link to this function

solve_expression(expression)

View Source
Link to this function

split_in_expressions(sub_expr, non_equal_overlap)

View Source
Link to this function

strict_filter_subset(filter, candidate)

View Source
Link to this function

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

View Source
Link to this function

transform(resource, expression)

View Source
Link to this function

transform_and_solve(resource, expression)

View Source