Esempio n. 1
0
def has(modelset, g, a):
    postgraph = new_graph('postgraph')
    return z3.Exists([postgraph], modelset(Model.model(g, a, postgraph)))
Esempio n. 2
0
def model_from(g, a):
    return Model.model(g, a, new_graph('postgraph'))
Esempio n. 3
0
def has(modelset, g, a):
    postgraph = new_graph('postgraph')
    return z3.Exists([postgraph], modelset(Model.model(g, a, postgraph)))