Quilt Loader 1
Loading...
Searching...
No Matches
org.quiltmc.loader.impl.solver.Sat4jWrapper Member List

This is the complete list of members for org.quiltmc.loader.impl.solver.Sat4jWrapper, including all inherited members.

addOption(LoadOption option)org.quiltmc.loader.impl.solver.Sat4jWrapperinline
addRule(Rule rule)org.quiltmc.loader.impl.solver.Sat4jWrapperinline
appendRules(StringBuilder sb)org.quiltmc.loader.impl.solver.Sat4jWrapperinline
cancel()org.quiltmc.loader.impl.solver.Sat4jWrapperinline
getError()org.quiltmc.loader.impl.solver.Sat4jWrapperinline
getSolution()org.quiltmc.loader.impl.solver.Sat4jWrapperinline
hasSolution()org.quiltmc.loader.impl.solver.Sat4jWrapperinline
isNegated(LoadOption option)org.quiltmc.loader.api.plugin.solver.RuleContextinlinestatic
negate(LoadOption option)org.quiltmc.loader.api.plugin.solver.RuleContextinlinestatic
redefine(Rule rule)org.quiltmc.loader.impl.solver.Sat4jWrapperinline
removeOption(LoadOption option) (defined in org.quiltmc.loader.impl.solver.Sat4jWrapper)org.quiltmc.loader.impl.solver.Sat4jWrapperinline
removeRule(Rule rule) (defined in org.quiltmc.loader.impl.solver.Sat4jWrapper)org.quiltmc.loader.impl.solver.Sat4jWrapperinline
resetStage()org.quiltmc.loader.impl.solver.Sat4jWrapperinline
Sat4jWrapper() (defined in org.quiltmc.loader.impl.solver.Sat4jWrapper)org.quiltmc.loader.impl.solver.Sat4jWrapperinline
setWeight(LoadOption option, Rule key, int weight)org.quiltmc.loader.impl.solver.Sat4jWrapperinline