本文整理汇总了Python中problem.Problem.read_strips方法的典型用法代码示例。如果您正苦于以下问题：Python Problem.read_strips方法的具体用法？Python Problem.read_strips怎么用？Python Problem.read_strips使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类problem.Problem的用法示例。
在下文中一共展示了Problem.read_strips方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: main
# 需要导入模块: from problem import Problem [as 别名]
# 或者: from problem.Problem import read_strips [as 别名]
def main():
parser = argparse.ArgumentParser()
#parser.add_argument('-i','--input', help='help', default = 'cake.strips')
parser.add_argument('-f','--input', help='help', default = 'domains/Blocks-Ground/')
args = parser.parse_args()
files_input = open(args.input+'files_input').read().split('\n')
files_input = files_input[:len(files_input)-1]
output_lines = []
#print [file_name for file_name in files_input]
for file_name in files_input:
initial_time = clock()
problem = Problem.read_strips(args.input+file_name)
#problem = Problem.read_strips(args.input)
time = 0
while(True):
time = time + 1
variables, clauses = clauses_extractor(time, problem)
export_cnf(variables, clauses)
run_solver()
if is_solution():
plan = extract_plan(variables, problem.action_fluents)
break
output_line = [file_name] + [len(variables)] + [len(clauses)] + [len(plan)] + [clock()-initial_time] + [plan]
output_list(output_line)
output_lattex(output_line)