DotNet Reference

DotNet Reference

Decision

Detailed Description

Definition at line 18 of file Decision.cs.

Public Member Functions

 Decision ()
 
virtual void ApplyWrapper (Solver s)
 
virtual void RefuteWrapper (Solver s)
 
override string ToString ()
 
virtual void Accept (DecisionVisitor visitor)
 
delegate string SwigDelegateDecision_0 ()
 
delegate void SwigDelegateDecision_1 (global::System.IntPtr s)
 
delegate void SwigDelegateDecision_2 (global::System.IntPtr s)
 
delegate void SwigDelegateDecision_3 (global::System.IntPtr visitor)
 
void Dispose ()
 

Protected Member Functions

override void Dispose (bool disposing)
 

Protected Attributes

bool swigCMemOwn
 

Constructor & Destructor Documentation

◆ Decision()

Decision ( )
inline

Definition at line 42 of file Decision.cs.

Member Function Documentation

◆ Accept()

virtual void Accept ( DecisionVisitor  visitor)
inlinevirtual

Definition at line 59 of file Decision.cs.

◆ ApplyWrapper()

virtual void ApplyWrapper ( Solver  s)
inlinevirtual

Reimplemented in NetDecision.

Definition at line 46 of file Decision.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 Decision.cs.

◆ RefuteWrapper()

virtual void RefuteWrapper ( Solver  s)
inlinevirtual

Reimplemented in NetDecision.

Definition at line 50 of file Decision.cs.

◆ SwigDelegateDecision_0()

delegate string SwigDelegateDecision_0 ( )

◆ SwigDelegateDecision_1()

delegate void SwigDelegateDecision_1 ( global::System.IntPtr  s)

◆ SwigDelegateDecision_2()

delegate void SwigDelegateDecision_2 ( global::System.IntPtr  s)

◆ SwigDelegateDecision_3()

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

◆ ToString()

override string ToString ( )
inlinevirtual

Reimplemented from BaseObject.

Definition at line 54 of file Decision.cs.

Member Data Documentation

◆ swigCMemOwn

bool swigCMemOwn
protectedinherited

Definition at line 20 of file BaseObject.cs.


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