DotNet Reference

DotNet Reference

RegularLimit

Detailed Description

Definition at line 18 of file RegularLimit.cs.

Public Member Functions

 RegularLimit (Solver s, SWIGTYPE_p_absl__Duration time, long branches, long failures, long solutions, bool smart_time_check, bool cumulative)
 
override void Copy (SearchLimit limit)
 
override SearchLimit MakeClone ()
 
RegularLimit MakeIdenticalClone ()
 
override bool Check ()
 
override void Init ()
 
override void ExitSearch ()
 
void UpdateLimits (long time, long branches, long failures, long solutions)
 
long WallTime ()
 
long Branches ()
 
long Failures ()
 
long Solutions ()
 
override bool IsUncheckedSolutionLimitReached ()
 
override int ProgressPercent ()
 
override string ToString ()
 
override void Accept (ModelVisitor visitor)
 
delegate string SwigDelegateRegularLimit_0 ()
 
delegate void SwigDelegateRegularLimit_1 ()
 
delegate void SwigDelegateRegularLimit_2 ()
 
delegate void SwigDelegateRegularLimit_3 ()
 
delegate void SwigDelegateRegularLimit_4 (global::System.IntPtr b)
 
delegate void SwigDelegateRegularLimit_5 (global::System.IntPtr b, global::System.IntPtr d)
 
delegate void SwigDelegateRegularLimit_6 (global::System.IntPtr d)
 
delegate void SwigDelegateRegularLimit_7 (global::System.IntPtr d)
 
delegate void SwigDelegateRegularLimit_8 (global::System.IntPtr d, bool apply)
 
delegate void SwigDelegateRegularLimit_9 ()
 
delegate void SwigDelegateRegularLimit_10 ()
 
delegate void SwigDelegateRegularLimit_11 ()
 
delegate void SwigDelegateRegularLimit_12 ()
 
delegate bool SwigDelegateRegularLimit_13 ()
 
delegate bool SwigDelegateRegularLimit_14 ()
 
delegate void SwigDelegateRegularLimit_15 ()
 
delegate bool SwigDelegateRegularLimit_16 ()
 
delegate bool SwigDelegateRegularLimit_17 (global::System.IntPtr delta, global::System.IntPtr deltadelta)
 
delegate void SwigDelegateRegularLimit_18 ()
 
delegate void SwigDelegateRegularLimit_19 ()
 
delegate bool SwigDelegateRegularLimit_20 ()
 
delegate void SwigDelegateRegularLimit_21 ()
 
delegate int SwigDelegateRegularLimit_22 ()
 
delegate void SwigDelegateRegularLimit_23 (global::System.IntPtr visitor)
 
delegate void SwigDelegateRegularLimit_24 ()
 
delegate bool SwigDelegateRegularLimit_25 ()
 
delegate void SwigDelegateRegularLimit_26 ()
 
delegate void SwigDelegateRegularLimit_27 (global::System.IntPtr limit)
 
delegate global::System.IntPtr SwigDelegateRegularLimit_28 ()
 
void Dispose ()
 
bool IsCrossed ()
 
override void EnterSearch ()
 
override void BeginNextDecision (DecisionBuilder b)
 
override void PeriodicCheck ()
 
override void RefuteDecision (Decision d)
 
delegate string SwigDelegateSearchLimit_0 ()
 
delegate void SwigDelegateSearchLimit_1 ()
 
delegate void SwigDelegateSearchLimit_2 ()
 
delegate void SwigDelegateSearchLimit_3 ()
 
delegate void SwigDelegateSearchLimit_4 (global::System.IntPtr b)
 
delegate void SwigDelegateSearchLimit_5 (global::System.IntPtr b, global::System.IntPtr d)
 
delegate void SwigDelegateSearchLimit_6 (global::System.IntPtr d)
 
delegate void SwigDelegateSearchLimit_7 (global::System.IntPtr d)
 
delegate void SwigDelegateSearchLimit_8 (global::System.IntPtr d, bool apply)
 
delegate void SwigDelegateSearchLimit_9 ()
 
delegate void SwigDelegateSearchLimit_10 ()
 
delegate void SwigDelegateSearchLimit_11 ()
 
delegate void SwigDelegateSearchLimit_12 ()
 
delegate bool SwigDelegateSearchLimit_13 ()
 
delegate bool SwigDelegateSearchLimit_14 ()
 
delegate void SwigDelegateSearchLimit_15 ()
 
delegate bool SwigDelegateSearchLimit_16 ()
 
delegate bool SwigDelegateSearchLimit_17 (global::System.IntPtr delta, global::System.IntPtr deltadelta)
 
delegate void SwigDelegateSearchLimit_18 ()
 
delegate void SwigDelegateSearchLimit_19 ()
 
delegate bool SwigDelegateSearchLimit_20 ()
 
delegate void SwigDelegateSearchLimit_21 ()
 
delegate int SwigDelegateSearchLimit_22 ()
 
delegate void SwigDelegateSearchLimit_23 (global::System.IntPtr visitor)
 
delegate void SwigDelegateSearchLimit_24 ()
 
delegate bool SwigDelegateSearchLimit_25 ()
 
delegate void SwigDelegateSearchLimit_26 ()
 
delegate void SwigDelegateSearchLimit_27 (global::System.IntPtr limit)
 
delegate global::System.IntPtr SwigDelegateSearchLimit_28 ()
 
virtual void RestartSearch ()
 
virtual void EndNextDecision (DecisionBuilder b, Decision d)
 
virtual void ApplyDecision (Decision d)
 
virtual void AfterDecision (Decision d, bool apply)
 
virtual void BeginFail ()
 
virtual void EndFail ()
 
virtual void BeginInitialPropagation ()
 
virtual void EndInitialPropagation ()
 
virtual bool AcceptSolution ()
 
virtual bool AtSolution ()
 
virtual void NoMoreSolutions ()
 
virtual bool LocalOptimum ()
 
virtual bool AcceptDelta (Assignment delta, Assignment deltadelta)
 
virtual void AcceptNeighbor ()
 
virtual void AcceptUncheckedNeighbor ()
 
Solver solver ()
 
virtual void Install ()
 
delegate string SwigDelegateSearchMonitor_0 ()
 
delegate void SwigDelegateSearchMonitor_1 ()
 
delegate void SwigDelegateSearchMonitor_2 ()
 
delegate void SwigDelegateSearchMonitor_3 ()
 
delegate void SwigDelegateSearchMonitor_4 (global::System.IntPtr b)
 
delegate void SwigDelegateSearchMonitor_5 (global::System.IntPtr b, global::System.IntPtr d)
 
delegate void SwigDelegateSearchMonitor_6 (global::System.IntPtr d)
 
delegate void SwigDelegateSearchMonitor_7 (global::System.IntPtr d)
 
delegate void SwigDelegateSearchMonitor_8 (global::System.IntPtr d, bool apply)
 
delegate void SwigDelegateSearchMonitor_9 ()
 
delegate void SwigDelegateSearchMonitor_10 ()
 
delegate void SwigDelegateSearchMonitor_11 ()
 
delegate void SwigDelegateSearchMonitor_12 ()
 
delegate bool SwigDelegateSearchMonitor_13 ()
 
delegate bool SwigDelegateSearchMonitor_14 ()
 
delegate void SwigDelegateSearchMonitor_15 ()
 
delegate bool SwigDelegateSearchMonitor_16 ()
 
delegate bool SwigDelegateSearchMonitor_17 (global::System.IntPtr delta, global::System.IntPtr deltadelta)
 
delegate void SwigDelegateSearchMonitor_18 ()
 
delegate void SwigDelegateSearchMonitor_19 ()
 
delegate bool SwigDelegateSearchMonitor_20 ()
 
delegate void SwigDelegateSearchMonitor_21 ()
 
delegate int SwigDelegateSearchMonitor_22 ()
 
delegate void SwigDelegateSearchMonitor_23 (global::System.IntPtr visitor)
 
delegate void SwigDelegateSearchMonitor_24 ()
 

Static Public Attributes

static readonly int kNoProgress = operations_research_constraint_solverPINVOKE.SearchMonitor_kNoProgress_get()
 

Protected Member Functions

override void Dispose (bool disposing)
 

Protected Attributes

bool swigCMemOwn
 

Constructor & Destructor Documentation

◆ RegularLimit()

RegularLimit ( Solver  s,
SWIGTYPE_p_absl__Duration  time,
long  branches,
long  failures,
long  solutions,
bool  smart_time_check,
bool  cumulative 
)
inline

Definition at line 42 of file RegularLimit.cs.

Member Function Documentation

◆ Accept()

override void Accept ( ModelVisitor  visitor)
inlinevirtual

Reimplemented from SearchMonitor.

Definition at line 115 of file RegularLimit.cs.

◆ AcceptDelta()

virtual bool AcceptDelta ( Assignment  delta,
Assignment  deltadelta 
)
inlinevirtualinherited

Reimplemented in OptimizeVar.

Definition at line 113 of file SearchMonitor.cs.

◆ AcceptNeighbor()

virtual void AcceptNeighbor ( )
inlinevirtualinherited

Definition at line 118 of file SearchMonitor.cs.

◆ AcceptSolution()

virtual bool AcceptSolution ( )
inlinevirtualinherited

Reimplemented in OptimizeVar.

Definition at line 94 of file SearchMonitor.cs.

◆ AcceptUncheckedNeighbor()

virtual void AcceptUncheckedNeighbor ( )
inlinevirtualinherited

Reimplemented in SearchLog.

Definition at line 122 of file SearchMonitor.cs.

◆ AfterDecision()

virtual void AfterDecision ( Decision  d,
bool  apply 
)
inlinevirtualinherited

Definition at line 74 of file SearchMonitor.cs.

◆ ApplyDecision()

virtual void ApplyDecision ( Decision  d)
inlinevirtualinherited

Reimplemented in SearchLog.

Definition at line 66 of file SearchMonitor.cs.

◆ AtSolution()

virtual bool AtSolution ( )
inlinevirtualinherited

Reimplemented in OptimizeVar, and SearchLog.

Definition at line 99 of file SearchMonitor.cs.

◆ BeginFail()

virtual void BeginFail ( )
inlinevirtualinherited

Reimplemented in SearchLog.

Definition at line 78 of file SearchMonitor.cs.

◆ BeginInitialPropagation()

virtual void BeginInitialPropagation ( )
inlinevirtualinherited

Reimplemented in SearchLog.

Definition at line 86 of file SearchMonitor.cs.

◆ BeginNextDecision()

override void BeginNextDecision ( DecisionBuilder  b)
inlinevirtualinherited

Reimplemented from SearchMonitor.

Definition at line 74 of file SearchLimit.cs.

◆ Branches()

long Branches ( )
inline

Definition at line 85 of file RegularLimit.cs.

◆ Check()

override bool Check ( )
inlinevirtual

Reimplemented from SearchLimit.

Definition at line 63 of file RegularLimit.cs.

◆ Copy()

override void Copy ( SearchLimit  limit)
inlinevirtual

Reimplemented from SearchLimit.

Definition at line 47 of file RegularLimit.cs.

◆ Dispose() [1/2]

void Dispose ( )
inlineinherited

Definition at line 35 of file BaseObject.cs.

◆ Dispose() [2/2]

override void Dispose ( bool  disposing)
inlineprotectedvirtual

Reimplemented from BaseObject.

Definition at line 29 of file RegularLimit.cs.

◆ EndFail()

virtual void EndFail ( )
inlinevirtualinherited

Definition at line 82 of file SearchMonitor.cs.

◆ EndInitialPropagation()

virtual void EndInitialPropagation ( )
inlinevirtualinherited

Reimplemented in SearchLog.

Definition at line 90 of file SearchMonitor.cs.

◆ EndNextDecision()

virtual void EndNextDecision ( DecisionBuilder  b,
Decision  d 
)
inlinevirtualinherited

Definition at line 62 of file SearchMonitor.cs.

◆ EnterSearch()

override void EnterSearch ( )
inlinevirtualinherited

Reimplemented from SearchMonitor.

Definition at line 70 of file SearchLimit.cs.

◆ ExitSearch()

override void ExitSearch ( )
inlinevirtual

Reimplemented from SearchMonitor.

Definition at line 72 of file RegularLimit.cs.

◆ Failures()

long Failures ( )
inline

Definition at line 90 of file RegularLimit.cs.

◆ Init()

override void Init ( )
inlinevirtual

Reimplemented from SearchLimit.

Definition at line 68 of file RegularLimit.cs.

◆ Install()

virtual void Install ( )
inlinevirtualinherited

Reimplemented in PropagationMonitor, and LocalSearchMonitor.

Definition at line 150 of file SearchMonitor.cs.

◆ IsCrossed()

bool IsCrossed ( )
inlineinherited

Definition at line 46 of file SearchLimit.cs.

◆ IsUncheckedSolutionLimitReached()

override bool IsUncheckedSolutionLimitReached ( )
inlinevirtual

Reimplemented from SearchMonitor.

Definition at line 100 of file RegularLimit.cs.

◆ LocalOptimum()

virtual bool LocalOptimum ( )
inlinevirtualinherited

Definition at line 108 of file SearchMonitor.cs.

◆ MakeClone()

override SearchLimit MakeClone ( )
inlinevirtual

Reimplemented from SearchLimit.

Definition at line 51 of file RegularLimit.cs.

◆ MakeIdenticalClone()

RegularLimit MakeIdenticalClone ( )
inline

Definition at line 57 of file RegularLimit.cs.

◆ NoMoreSolutions()

virtual void NoMoreSolutions ( )
inlinevirtualinherited

Reimplemented in SearchLog.

Definition at line 104 of file SearchMonitor.cs.

◆ PeriodicCheck()

override void PeriodicCheck ( )
inlinevirtualinherited

Reimplemented from SearchMonitor.

Definition at line 78 of file SearchLimit.cs.

◆ ProgressPercent()

override int ProgressPercent ( )
inlinevirtual

Reimplemented from SearchMonitor.

Definition at line 105 of file RegularLimit.cs.

◆ RefuteDecision()

override void RefuteDecision ( Decision  d)
inlinevirtualinherited

Reimplemented from SearchMonitor.

Definition at line 82 of file SearchLimit.cs.

◆ RestartSearch()

virtual void RestartSearch ( )
inlinevirtualinherited

Definition at line 50 of file SearchMonitor.cs.

◆ Solutions()

long Solutions ( )
inline

Definition at line 95 of file RegularLimit.cs.

◆ solver()

Solver solver ( )
inlineinherited

Definition at line 131 of file SearchMonitor.cs.

◆ SwigDelegateRegularLimit_0()

delegate string SwigDelegateRegularLimit_0 ( )

◆ SwigDelegateRegularLimit_1()

delegate void SwigDelegateRegularLimit_1 ( )

◆ SwigDelegateRegularLimit_10()

delegate void SwigDelegateRegularLimit_10 ( )

◆ SwigDelegateRegularLimit_11()

delegate void SwigDelegateRegularLimit_11 ( )

◆ SwigDelegateRegularLimit_12()

delegate void SwigDelegateRegularLimit_12 ( )

◆ SwigDelegateRegularLimit_13()

delegate bool SwigDelegateRegularLimit_13 ( )

◆ SwigDelegateRegularLimit_14()

delegate bool SwigDelegateRegularLimit_14 ( )

◆ SwigDelegateRegularLimit_15()

delegate void SwigDelegateRegularLimit_15 ( )

◆ SwigDelegateRegularLimit_16()

delegate bool SwigDelegateRegularLimit_16 ( )

◆ SwigDelegateRegularLimit_17()

delegate bool SwigDelegateRegularLimit_17 ( global::System.IntPtr  delta,
global::System.IntPtr  deltadelta 
)

◆ SwigDelegateRegularLimit_18()

delegate void SwigDelegateRegularLimit_18 ( )

◆ SwigDelegateRegularLimit_19()

delegate void SwigDelegateRegularLimit_19 ( )

◆ SwigDelegateRegularLimit_2()

delegate void SwigDelegateRegularLimit_2 ( )

◆ SwigDelegateRegularLimit_20()

delegate bool SwigDelegateRegularLimit_20 ( )

◆ SwigDelegateRegularLimit_21()

delegate void SwigDelegateRegularLimit_21 ( )

◆ SwigDelegateRegularLimit_22()

delegate int SwigDelegateRegularLimit_22 ( )

◆ SwigDelegateRegularLimit_23()

delegate void SwigDelegateRegularLimit_23 ( global::System.IntPtr  visitor)

◆ SwigDelegateRegularLimit_24()

delegate void SwigDelegateRegularLimit_24 ( )

◆ SwigDelegateRegularLimit_25()

delegate bool SwigDelegateRegularLimit_25 ( )

◆ SwigDelegateRegularLimit_26()

delegate void SwigDelegateRegularLimit_26 ( )

◆ SwigDelegateRegularLimit_27()

delegate void SwigDelegateRegularLimit_27 ( global::System.IntPtr  limit)

◆ SwigDelegateRegularLimit_28()

delegate global.System.IntPtr SwigDelegateRegularLimit_28 ( )

◆ SwigDelegateRegularLimit_3()

delegate void SwigDelegateRegularLimit_3 ( )

◆ SwigDelegateRegularLimit_4()

delegate void SwigDelegateRegularLimit_4 ( global::System.IntPtr  b)

◆ SwigDelegateRegularLimit_5()

delegate void SwigDelegateRegularLimit_5 ( global::System.IntPtr  b,
global::System.IntPtr  d 
)

◆ SwigDelegateRegularLimit_6()

delegate void SwigDelegateRegularLimit_6 ( global::System.IntPtr  d)

◆ SwigDelegateRegularLimit_7()

delegate void SwigDelegateRegularLimit_7 ( global::System.IntPtr  d)

◆ SwigDelegateRegularLimit_8()

delegate void SwigDelegateRegularLimit_8 ( global::System.IntPtr  d,
bool  apply 
)

◆ SwigDelegateRegularLimit_9()

delegate void SwigDelegateRegularLimit_9 ( )

◆ SwigDelegateSearchLimit_0()

delegate string SwigDelegateSearchLimit_0 ( )
inherited

◆ SwigDelegateSearchLimit_1()

delegate void SwigDelegateSearchLimit_1 ( )
inherited

◆ SwigDelegateSearchLimit_10()

delegate void SwigDelegateSearchLimit_10 ( )
inherited

◆ SwigDelegateSearchLimit_11()

delegate void SwigDelegateSearchLimit_11 ( )
inherited

◆ SwigDelegateSearchLimit_12()

delegate void SwigDelegateSearchLimit_12 ( )
inherited

◆ SwigDelegateSearchLimit_13()

delegate bool SwigDelegateSearchLimit_13 ( )
inherited

◆ SwigDelegateSearchLimit_14()

delegate bool SwigDelegateSearchLimit_14 ( )
inherited

◆ SwigDelegateSearchLimit_15()

delegate void SwigDelegateSearchLimit_15 ( )
inherited

◆ SwigDelegateSearchLimit_16()

delegate bool SwigDelegateSearchLimit_16 ( )
inherited

◆ SwigDelegateSearchLimit_17()

delegate bool SwigDelegateSearchLimit_17 ( global::System.IntPtr  delta,
global::System.IntPtr  deltadelta 
)
inherited

◆ SwigDelegateSearchLimit_18()

delegate void SwigDelegateSearchLimit_18 ( )
inherited

◆ SwigDelegateSearchLimit_19()

delegate void SwigDelegateSearchLimit_19 ( )
inherited

◆ SwigDelegateSearchLimit_2()

delegate void SwigDelegateSearchLimit_2 ( )
inherited

◆ SwigDelegateSearchLimit_20()

delegate bool SwigDelegateSearchLimit_20 ( )
inherited

◆ SwigDelegateSearchLimit_21()

delegate void SwigDelegateSearchLimit_21 ( )
inherited

◆ SwigDelegateSearchLimit_22()

delegate int SwigDelegateSearchLimit_22 ( )
inherited

◆ SwigDelegateSearchLimit_23()

delegate void SwigDelegateSearchLimit_23 ( global::System.IntPtr  visitor)
inherited

◆ SwigDelegateSearchLimit_24()

delegate void SwigDelegateSearchLimit_24 ( )
inherited

◆ SwigDelegateSearchLimit_25()

delegate bool SwigDelegateSearchLimit_25 ( )
inherited

◆ SwigDelegateSearchLimit_26()

delegate void SwigDelegateSearchLimit_26 ( )
inherited

◆ SwigDelegateSearchLimit_27()

delegate void SwigDelegateSearchLimit_27 ( global::System.IntPtr  limit)
inherited

◆ SwigDelegateSearchLimit_28()

delegate global.System.IntPtr SwigDelegateSearchLimit_28 ( )
inherited

◆ SwigDelegateSearchLimit_3()

delegate void SwigDelegateSearchLimit_3 ( )
inherited

◆ SwigDelegateSearchLimit_4()

delegate void SwigDelegateSearchLimit_4 ( global::System.IntPtr  b)
inherited

◆ SwigDelegateSearchLimit_5()

delegate void SwigDelegateSearchLimit_5 ( global::System.IntPtr  b,
global::System.IntPtr  d 
)
inherited

◆ SwigDelegateSearchLimit_6()

delegate void SwigDelegateSearchLimit_6 ( global::System.IntPtr  d)
inherited

◆ SwigDelegateSearchLimit_7()

delegate void SwigDelegateSearchLimit_7 ( global::System.IntPtr  d)
inherited

◆ SwigDelegateSearchLimit_8()

delegate void SwigDelegateSearchLimit_8 ( global::System.IntPtr  d,
bool  apply 
)
inherited

◆ SwigDelegateSearchLimit_9()

delegate void SwigDelegateSearchLimit_9 ( )
inherited

◆ SwigDelegateSearchMonitor_0()

delegate string SwigDelegateSearchMonitor_0 ( )
inherited

◆ SwigDelegateSearchMonitor_1()

delegate void SwigDelegateSearchMonitor_1 ( )
inherited

◆ SwigDelegateSearchMonitor_10()

delegate void SwigDelegateSearchMonitor_10 ( )
inherited

◆ SwigDelegateSearchMonitor_11()

delegate void SwigDelegateSearchMonitor_11 ( )
inherited

◆ SwigDelegateSearchMonitor_12()

delegate void SwigDelegateSearchMonitor_12 ( )
inherited

◆ SwigDelegateSearchMonitor_13()

delegate bool SwigDelegateSearchMonitor_13 ( )
inherited

◆ SwigDelegateSearchMonitor_14()

delegate bool SwigDelegateSearchMonitor_14 ( )
inherited

◆ SwigDelegateSearchMonitor_15()

delegate void SwigDelegateSearchMonitor_15 ( )
inherited

◆ SwigDelegateSearchMonitor_16()

delegate bool SwigDelegateSearchMonitor_16 ( )
inherited

◆ SwigDelegateSearchMonitor_17()

delegate bool SwigDelegateSearchMonitor_17 ( global::System.IntPtr  delta,
global::System.IntPtr  deltadelta 
)
inherited

◆ SwigDelegateSearchMonitor_18()

delegate void SwigDelegateSearchMonitor_18 ( )
inherited

◆ SwigDelegateSearchMonitor_19()

delegate void SwigDelegateSearchMonitor_19 ( )
inherited

◆ SwigDelegateSearchMonitor_2()

delegate void SwigDelegateSearchMonitor_2 ( )
inherited

◆ SwigDelegateSearchMonitor_20()

delegate bool SwigDelegateSearchMonitor_20 ( )
inherited

◆ SwigDelegateSearchMonitor_21()

delegate void SwigDelegateSearchMonitor_21 ( )
inherited

◆ SwigDelegateSearchMonitor_22()

delegate int SwigDelegateSearchMonitor_22 ( )
inherited

◆ SwigDelegateSearchMonitor_23()

delegate void SwigDelegateSearchMonitor_23 ( global::System.IntPtr  visitor)
inherited

◆ SwigDelegateSearchMonitor_24()

delegate void SwigDelegateSearchMonitor_24 ( )
inherited

◆ SwigDelegateSearchMonitor_3()

delegate void SwigDelegateSearchMonitor_3 ( )
inherited

◆ SwigDelegateSearchMonitor_4()

delegate void SwigDelegateSearchMonitor_4 ( global::System.IntPtr  b)
inherited

◆ SwigDelegateSearchMonitor_5()

delegate void SwigDelegateSearchMonitor_5 ( global::System.IntPtr  b,
global::System.IntPtr  d 
)
inherited

◆ SwigDelegateSearchMonitor_6()

delegate void SwigDelegateSearchMonitor_6 ( global::System.IntPtr  d)
inherited

◆ SwigDelegateSearchMonitor_7()

delegate void SwigDelegateSearchMonitor_7 ( global::System.IntPtr  d)
inherited

◆ SwigDelegateSearchMonitor_8()

delegate void SwigDelegateSearchMonitor_8 ( global::System.IntPtr  d,
bool  apply 
)
inherited

◆ SwigDelegateSearchMonitor_9()

delegate void SwigDelegateSearchMonitor_9 ( )
inherited

◆ ToString()

override string ToString ( )
inlinevirtual

Reimplemented from BaseObject.

Definition at line 110 of file RegularLimit.cs.

◆ UpdateLimits()

void UpdateLimits ( long  time,
long  branches,
long  failures,
long  solutions 
)
inline

Definition at line 76 of file RegularLimit.cs.

◆ WallTime()

long WallTime ( )
inline

Definition at line 80 of file RegularLimit.cs.

Member Data Documentation

◆ kNoProgress

Definition at line 391 of file SearchMonitor.cs.

◆ swigCMemOwn

bool swigCMemOwn
protectedinherited

Definition at line 20 of file BaseObject.cs.


The documentation for this class was generated from the following file: