예제 #1
0
def parse_options_get_use_sat_parser(*args):
  return _clinkgrammar.parse_options_get_use_sat_parser(*args)
예제 #2
0
 def use_sat(self):
     """
     To be used after enabling the use of the SAT solver in order to
     validate that it is supported by the LG library.
     """
     return clg.parse_options_get_use_sat_parser(self._obj)
예제 #3
0
def parse_options_get_use_sat_parser(opts: 'Parse_Options') -> "int":
    return _clinkgrammar.parse_options_get_use_sat_parser(opts)
예제 #4
0
 def use_sat(self):
     """
     To be used after enabling the use of the SAT solver in order to
     validate that it is supported by the LG library.
     """
     return clg.parse_options_get_use_sat_parser(self._obj)