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()
|
inline |
Definition at line 42 of file Decision.cs.
Member Function Documentation
◆ Accept()
|
inlinevirtual |
Definition at line 59 of file Decision.cs.
◆ ApplyWrapper()
|
inlinevirtual |
Reimplemented in NetDecision.
Definition at line 46 of file Decision.cs.
◆ Dispose() [1/2]
|
inlineinherited |
Definition at line 35 of file BaseObject.cs.
◆ Dispose() [2/2]
|
inlineprotectedvirtual |
Reimplemented from BaseObject.
Definition at line 29 of file Decision.cs.
◆ RefuteWrapper()
|
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()
|
inlinevirtual |
Reimplemented from BaseObject.
Definition at line 54 of file Decision.cs.
Member Data Documentation
◆ swigCMemOwn
|
protectedinherited |
Definition at line 20 of file BaseObject.cs.
The documentation for this class was generated from the following file: