Searched defs:Refute (Results 1 – 8 of 8) sorted by relevance
103 public virtual void Refute(Solver solver) in Refute() method in Google.OrTools.ConstraintSolver.NetDecision
223 void Refute(Solver* const solver) override {} in Refute() function in operations_research::__anon48fdcbf80211::InitVarImpacts::AssignCallFail268 void Refute(Solver* const solver) override {} in Refute() function in operations_research::__anon48fdcbf80211::InitVarImpactsWithSplits::AssignIntervalCallFail713 void Refute(Solver* const solver) override {} in Refute() function in operations_research::__anon48fdcbf80211::RunHeuristicsAsDives
604 void Refute(Solver* const s) override { refute_(s); } in Refute() function in operations_research::__anond4fcbd540811::ClosureDecision658 void TryDecision::Refute(Solver* const solver) { in Refute() function in operations_research::__anond4fcbd540911::TryDecision1561 void AssignOneVariableValue::Refute(Solver* const s) { in Refute() function in operations_research::__anond4fcbd540a11::AssignOneVariableValue1601 void AssignOneVariableValueOrFail::Refute(Solver* const s) { s->Fail(); } in Refute() function in operations_research::__anond4fcbd540b11::AssignOneVariableValueOrFail1618 void Refute(Solver* const s) override {} in Refute() function in operations_research::__anond4fcbd540c11::AssignOneVariableValueDoNothing1678 void SplitOneVariable::Refute(Solver* const s) { in Refute() function in operations_research::__anond4fcbd540d11::SplitOneVariable1773 void AssignVariablesValues::Refute(Solver* const s) { in Refute() function in operations_research::__anond4fcbd540e11::AssignVariablesValues
1370 void Refute(Solver* const s) override { s->Fail(); } in Refute() function in operations_research::__anon06b7e3fd0511::FailDecision1379 void Refute(Solver* const s) override {} in Refute() function in operations_research::__anon06b7e3fd0511::BalancingDecision2080 void Refute(Solver* const s) override { decision_->Apply(s); } in Refute() function in operations_research::__anon06b7e3fd0811::ReverseDecision
112 void Refute(Solver* const s) override { in Refute() function in operations_research::OrderingDecision154 void Refute(Solver* const s) override { in Refute() function in operations_research::ConstraintDecision
46 Refute(InEnvironment<Goal<I>>), enumerator
409 def Refute(self, solver): member in CustomDecision