def testparallelRule(self): x, s, gt, lt = Var('x'), Var('s'), Var('>'), Var('<') ruleList = [(s,function( ((x,), parallel(gt(x, 3), lt(x, 5))))), (gt,function( ((4, 3),char('4')))), (lt,function( ((4, 5),char('4'))))] eq_(eval(letr(ruleList, parse_text(s(x), '4'), x)), 4) assert_raises(NoSolutionFound, eval, letr(ruleList, parse_text(s(x), '6'), x)) assert_raises(NoSolutionFound, eval, letr(ruleList, parse_text(and_p(s(x), eoi), '41'), x)) assert_raises(NoSolutionFound, eval, letr(ruleList, parse_text(s(x), ''), x))
def testparallelRule(self): x, s, gt, lt = Var('x'), Var('s'), Var('>'), Var('<') ruleList = [(s, function(((x, ), parallel(gt(x, 3), lt(x, 5))))), (gt, function(((4, 3), char('4')))), (lt, function(((4, 5), char('4'))))] eq_(eval(letr(ruleList, parse_text(s(x), '4'), x)), 4) assert_raises(NoSolutionFound, eval, letr(ruleList, parse_text(s(x), '6'), x)) assert_raises(NoSolutionFound, eval, letr(ruleList, parse_text(and_p(s(x), eoi), '41'), x)) assert_raises(NoSolutionFound, eval, letr(ruleList, parse_text(s(x), ''), x))
def test_parallel(self): x = Var('x') eq_(eval(parse_text(parallel(letter(x), char(x)), 'a')), 'a') assert_raises(NoSolutionFound, eval, parse_text(parallel(number(x), char('3')), '2'))
def test_parallel(self): x = Var('x') eq_(eval(parse_text(parallel(letter(x), char(x)), 'a')), 'a') assert_raises(NoSolutionFound, eval, parse_text(parallel(integer(x), char('3')), '2'))