Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
Modifier and Type | Method and Description |
---|---|
DefaultSettings |
DefaultSettings.setCheckDeclaredConstraints(boolean checkDeclaredConstraints) |
DefaultSettings |
DefaultSettings.setCloneVariableArrayInPropagator(boolean cloneVariableArrayInPropagator) |
DefaultSettings |
DefaultSettings.setDebugPropagation(boolean debugPropagation) |
DefaultSettings |
DefaultSettings.setDefaultPrefix(String defaultPrefix) |
DefaultSettings |
DefaultSettings.setDefaultSearch(Function<Model,AbstractStrategy> defaultSearch) |
DefaultSettings |
DefaultSettings.setEnableDecompositionOfBooleanSum(boolean enableDecompositionOfBooleanSum) |
DefaultSettings |
DefaultSettings.setEnableIncrementalityOnBoolSum(IntPredicate enableIncrementalityOnBoolSum) |
DefaultSettings |
DefaultSettings.setEnableSAT(boolean enableSAT) |
DefaultSettings |
DefaultSettings.setEnableTableSubstitution(boolean enableTableSubstitution) |
DefaultSettings |
DefaultSettings.setEnableViews(boolean enableViews) |
DefaultSettings |
DefaultSettings.setEnvironmentHistorySimulationCondition(ICondition environmentHistorySimulationCondition) |
DefaultSettings |
DefaultSettings.setInitSolver(Function<Model,Solver> initSolver) |
DefaultSettings |
DefaultSettings.setMaxDomSizeForEnumerated(int maxDomSizeForEnumerated) |
DefaultSettings |
DefaultSettings.setMaxTupleSizeForSubstitution(int maxTupleSizeForSubstitution) |
DefaultSettings |
DefaultSettings.setModelChecker(Predicate<Solver> modelChecker) |
DefaultSettings |
DefaultSettings.setSortPropagatorActivationWRTPriority(boolean sortPropagatorActivationWRTPriority) |
DefaultSettings |
DefaultSettings.setSwapOnPassivate(boolean swapOnPassivate) |
DefaultSettings |
DefaultSettings.setWarnUser(boolean warnUser) |
DefaultSettings |
DefaultSettings.setWelcomeMessage(String welcomeMessage) |
Copyright © 2018. All rights reserved.