def multiple_substs(self):
query = self.etb.etb().query('in_range(1,4,X)')
self.etb.etb().query_wait(query)
return (self.etb.query_answers(query), [
mk_subst(X=mk_numberconst(1)),
mk_subst(X=mk_numberconst(2)),
mk_subst(X=mk_numberconst(3)),
mk_subst(X=mk_numberconst(4))
])
def valid_claim_async(self):
query = self.etb.etb().query('in_range_async(1,4,2)')
self.etb.etb().query_wait(query)
return (self.etb.query_claims(query), [
mk_literal(
mk_idconst('in_range_async'),
[mk_numberconst(1),
mk_numberconst(4),
mk_numberconst(2)])
])
def multiple_claims_async(self):
query = self.etb.etb().query('in_range_async(1,4,X)')
self.etb.etb().query_wait(query)
return (self.etb.query_claims(query), [
mk_literal(
mk_idconst('in_range_async'),
[mk_numberconst(1),
mk_numberconst(4),
mk_numberconst(1)]),
mk_literal(
mk_idconst('in_range_async'),
[mk_numberconst(1),
mk_numberconst(4),
mk_numberconst(2)]),
mk_literal(
mk_idconst('in_range_async'),
[mk_numberconst(1),
mk_numberconst(4),
mk_numberconst(3)]),
mk_literal(
mk_idconst('in_range_async'),
[mk_numberconst(1),
mk_numberconst(4),
mk_numberconst(4)])
])