#
View Source Ash.SatSolver (ash v2.6.31)

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

# Link to this section 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)

# Link to this section Functions

Link to this macro

# b(statement)

View Source (macro)
Link to this function

# balance(other)

View Source
Link to this function

# can_be_used_as_group?(group, scenarios, bindings)

View Source
Link to this function

# contains?(l1, l2)

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

# overlap?(arg1, arg2)

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

# solve_expression(cnf)

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

# to_cnf(expression)

View Source
Link to this function

# transform(resource, expression)

View Source
Link to this function

# transform_and_solve(resource, expression)

View Source
Link to this function

# unbind(expression, map)

View Source