コード例 #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
ファイル: linkgrammar.py プロジェクト: jbicha/link-grammar 
 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
ファイル: clinkgrammar.py プロジェクト: raschild6/relex 
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)