コード例 #1
0
def parse_options_get_use_sat_parser(*args):
  return _clinkgrammar.parse_options_get_use_sat_parser(*args)
コード例 #2
0
ファイル: linkgrammar.py プロジェクト: jbicha/link-grammar 
 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
ファイル: clinkgrammar.py プロジェクト: raschild6/relex 
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)