Пример #1
0
def parse_options_set_use_sat_parser(*args):
  return _clinkgrammar.parse_options_set_use_sat_parser(*args)
Пример #2
0
def parse_options_set_use_sat_parser(opts, val):
    return _clinkgrammar.parse_options_set_use_sat_parser(opts, val)
Пример #3
0
 def use_sat(self, value):
     if not isinstance(value, bool):
         raise TypeError("use_sat must be set to a bool")
     clg.parse_options_set_use_sat_parser(self._obj, value)
Пример #4
0
def parse_options_set_use_sat_parser(opts: 'Parse_Options',
                                     use_sat_solver: 'int') -> "void":
    return _clinkgrammar.parse_options_set_use_sat_parser(opts, use_sat_solver)
Пример #5
0
 def use_sat(self, value):
     if not isinstance(value, bool):
         raise TypeError("use_sat must be set to a bool")
     clg.parse_options_set_use_sat_parser(self._obj, value)