Ash.SatSolver (ash v3.9.0)

View Source

Summary

Functions

b(statement) deprecated
left_excludes_right(left, right) deprecated
left_implies_right(left, right) deprecated
mutually_exclusive(predicates) deprecated
mutually_exclusive_and_collectively_exhaustive(predicates) deprecated
mutually_inclusive(predicates) deprecated
right_excludes_left(left, right) deprecated
right_implies_left(left, right) deprecated
strict_filter_subset(filter, candidate) deprecated
synonymous_relationship_paths?(left_resource, candidate, search, right_resource \\ nil) deprecated
to_cnf(expression) deprecated
transform(resource, expression) deprecated
transform_and_solve(resource, expression) deprecated

Functions

b(statement)

(macro)
This macro is deprecated. Use Crux.b/1 instead.

left_excludes_right(left, right)

This function is deprecated. Use `Crux.b(nand(left, right))` instead..

left_implies_right(left, right)

This function is deprecated. Use `Crux.b(implies(left, right))` instead..

mutually_exclusive(predicates)

This function is deprecated. Use `Crux.at_most_one/1` instead..

mutually_exclusive_and_collectively_exhaustive(predicates)

This function is deprecated. Use `Crux.exactly_one/1` instead..

mutually_inclusive(predicates)

This function is deprecated. Use `Crux.all_or_none/1` instead..

right_excludes_left(left, right)

This function is deprecated. Use `Crux.b(nand(left, right))` instead..

right_implies_left(left, right)

This function is deprecated. Use `Crux.b(implied_by(left, right))` instead..

strict_filter_subset(filter, candidate)

This function is deprecated. Use `Ash.Filter.strict_subset/2` instead..

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

This function is deprecated. Use `Ash.Resource.Info.synonymous_relationship_paths?/4` instead..

to_cnf(expression)

This function is deprecated. Use Crux.Formula.from_expression/1 instead.

transform(resource, expression)

This function is deprecated. Use Ash.Expr.to_sat_expression/2 instead.

transform_and_solve(resource, expression)

This function is deprecated. Use the following instead: Ash.Expr.to_sat_expression/2 |> Crux.Formula.from_expression() |> Crux.solve() .