def test_transform_output(argument_pair):
 g = Expression.fromstring(argument_pair[0])
 alist = [lp.parse(a) for a in argument_pair[1]]
 m = MaceCommand(g, assumptions=alist)
 m.build_model()
 for a in alist:
  print(('   %s' % a))
 print(('|- %s: %s\n' % (g, m.build_model())))
 for format in ['standard', 'portable', 'xml', 'cooked']:
  spacer()
  print(("Using '%s' format" % format))
  spacer()
  print(m.model(format=format))

def test_transform_output ( argument_pair ) : g = Expression . fromstring ( argument_pair [ 0 ] ) alist = [ lp . parse ( a ) for a in argument_pair [ 1 ] ] m = MaceCommand ( g , assumptions = alist ) m . build_model ( ) for a in alist : print ( ( '   %s' % a ) ) print ( ( '|- %s: %s\n' % ( g , m . build_model ( ) ) ) ) for format in [ 'standard' , 'portable' , 'xml' , 'cooked' ] : spacer ( ) print ( ( "Using '%s' format" % format ) ) spacer ( ) print ( m . model ( format = format ) )
transform the model into various mace4 interpformat formats .