示例#1
0
文件： gamestate.py 项目： EdTsft/ggp 
 def __str__(self):
     """Representation as a GDL string."""
     with Frame():
         return prolog_term_to_prefix_gdl(self._term_record.get())
示例#2
0
 def test_variable_term(self):
     assert_equal(prolog_term_to_prefix_gdl(Term())[0], '?')
示例#3
0
 def test_compound_term(self):
     assert_equal(prolog_term_to_prefix_gdl(
         Functor('foo', 2)(Term.from_atom_name('bar'),
                           Term.from_atom_name('2'))),
         '(foo bar 2)')
示例#4
0
 def test_atom_term(self):
     assert_equal(prolog_term_to_prefix_gdl(Term.from_atom_name('foo')),
                  'foo')