From d3bd654c287f8287cd83994f35bcff1d9144e595 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Mon, 19 Feb 2018 12:58:09 +0100
Subject: [PATCH] export all SAT/C# API in swig_helper

---
 ortools/sat/csharp/sat.i | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/ortools/sat/csharp/sat.i b/ortools/sat/csharp/sat.i
index fc1a4cc940..f8852b36eb 100644
--- a/ortools/sat/csharp/sat.i
+++ b/ortools/sat/csharp/sat.i
@@ -62,13 +62,17 @@ PROTO2_RETURN(
 %feature("director") operations_research::sat::SolutionCallback;
 
 %unignore operations_research::sat::SolutionCallback;
-%unignore operations_research::sat::SolutionCallback::OnSolutionCallback;
-%unignore operations_research::sat::SolutionCallback::ObjectiveValue;
+%unignore operations_research::sat::SolutionCallback::NumBinaryPropagations;
+%unignore operations_research::sat::SolutionCallback::NumBooleans;
 %unignore operations_research::sat::SolutionCallback::NumBranches;
 %unignore operations_research::sat::SolutionCallback::NumConflicts;
-%unignore operations_research::sat::SolutionCallback::WallTime;
-%unignore operations_research::sat::SolutionCallback::SolutionIntegerValue;
+%unignore operations_research::sat::SolutionCallback::NumIntegerPropagations;
+%unignore operations_research::sat::SolutionCallback::ObjectiveValue;
+%unignore operations_research::sat::SolutionCallback::OnSolutionCallback;
 %unignore operations_research::sat::SolutionCallback::SolutionBooleanValue;
+%unignore operations_research::sat::SolutionCallback::SolutionIntegerValue;
+%unignore operations_research::sat::SolutionCallback::UserTime;
+%unignore operations_research::sat::SolutionCallback::WallTime;
 
 %include "ortools/sat/swig_helper.h"