View Source Ash.SatSolver (ash v2.21.4)

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

Summary

Functions

Link to this function

can_be_used_as_group?(group, scenarios, bindings)

View Source
Link to this function

expand_groups(expression)

View Source
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

solutions_to_predicate_values(solution, bindings)

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