Uses of Class
org.chocosolver.solver.DefaultSettings
-
Packages that use DefaultSettings Package Description org.chocosolver.solver A package devoted to Model and resolution tools. -
-
Uses of DefaultSettings in org.chocosolver.solver
Methods in org.chocosolver.solver that return DefaultSettings Modifier and Type Method Description DefaultSettings
DefaultSettings. setCheckDeclaredConstraints(boolean checkDeclaredConstraints)
DefaultSettings
DefaultSettings. setCloneVariableArrayInPropagator(boolean cloneVariableArrayInPropagator)
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)
-