def test(problem):
"""Test solver on a given problem"""
#diag_select(".*")
print "problem:"
print problem
print "Solving..."
solver = GeometricSolver(problem)
print "...done"
print "drplan:"
print solver.dr
print "top-level rigids:", list(solver.dr.top_level())
result = solver.get_result()
print "result:"
print result
print "result is", result.flag, "with", len(result.solutions), "solutions"
check = True
if len(result.solutions) == 0:
check = False
diag_select("(GeometricProblem.verify)|(satisfied)")
for sol in result.solutions:
print "solution:", sol
check = check and problem.verify(sol)
if check:
print "all solutions valid"
else:
print "INVALID"
def test(problem):
"""Test solver on a given problem"""
#diag_select(".*")
print "problem:"
print problem
print "Solving..."
solver = GeometricSolver(problem)
print "...done"
print "drplan:"
print solver.dr
print "top-level rigids:",list(solver.dr.top_level())
result = solver.get_result()
print "result:"
print result
print "result is",result.flag, "with", len(result.solutions),"solutions"
check = True
if len(result.solutions) == 0:
check = False
diag_select("(GeometricProblem.verify)|(satisfied)")
for sol in result.solutions:
print "solution:",sol
check = check and problem.verify(sol)
if check:
print "all solutions valid"
else:
print "INVALID"
def test_ada_3d():
problem = ada_3d_problem()
diag_select("nothing")
print "problem:"
print problem
solver = GeometricSolver(problem)
print "drplan:"
print solver.dr
print "number of top-level rigids:",len(solver.dr.top_level())
result = solver.get_result()
print "result:"
print result
print "result is",result.flag, "with", len(result.solutions),"solutions"
check = True
if len(result.solutions) == 0:
check = False
diag_select(".*")
for sol in result.solutions:
print "solution:",sol
check = check and problem.verify(sol)
diag_select("nothing")
if check:
print "all solutions valid"
else:
print "INVALID"
def test(self):
"""Test solver on a given problem"""
problem = self.solver
# problem = fix3_problem_3d()
#diag_select(".*")
print("problem:")
print(problem)
print("Solving...")
solver = GeometricSolver(problem)
print("...done")
print("drplan:")
print(solver.dr)
print("top-level rigids:", list(solver.dr.top_level()))
result = solver.get_result()
print("result:")
print(result)
print("result is", result.flag, "with", len(result.solutions),
"solutions")
check = True
if len(result.solutions) == 0:
check = False
diag_select("(GeometricProblem.verify)|(satisfied)")
for sol in result.solutions:
print("solution:", sol)
check = check and problem.verify(sol)
if check:
print("all solutions valid")
else:
print("INVALID")
