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