Beispiel #1
0
def parse_options_get_use_sat_parser(*args):
  return _clinkgrammar.parse_options_get_use_sat_parser(*args)
Beispiel #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)
Beispiel #3
0
def parse_options_get_use_sat_parser(opts: 'Parse_Options') -> "int":
    return _clinkgrammar.parse_options_get_use_sat_parser(opts)
Beispiel #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)