当前位置: 首页>>代码示例>>Python>>正文


Python path函数代码示例

本文整理汇总了Python中path函数的典型用法代码示例。如果您正苦于以下问题:Python path函数的具体用法?Python path怎么用?Python path使用的例子?那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。


在下文中一共展示了path函数的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Python代码示例。

示例1: compile_tool

def compile_tool():
    global tool
    path('tools/' + tool).remove()
    proc = Process(target=monitor)
    proc.start()
    os.system('bjam gcc debug -a %s.o' % tool)
    proc.terminate()
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:7,代码来源:compile_tools.py

示例2: test_bes

def test_bes(filename, equation_count, term_size = 2):
    txtfile = filename + '.txt'
    besfile = filename + '.bes'
    answerfile = 'temp.answer'
    p = make_bes(equation_count, term_size)
    path(txtfile).write_text('%s' % p)
    os.system('txt2bes %s %s' % (txtfile, besfile))
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:7,代码来源:test_bes_solvers.py

示例3: remove_temporary_files

def remove_temporary_files():
    for filename in mcrl2_tool_options.files_to_be_removed.keys():
        if path(filename).exists():
            if mcrl2_tool_options.verbose:
                print 'removing', filename
            path(filename).remove()
    mcrl2_tool_options.files_to_be_removed.clear()
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:7,代码来源:mcrl2_tools.py

示例4: add_tool_dir

def add_tool_dir(toolname):
    if mcrl2_tool_options.tooldir != '':
        guess = path(mcrl2_tool_options.tooldir) / toolname / toolname
        if os.path.isfile(guess):
          return guess
        return path(mcrl2_tool_options.tooldir) / 'bin' / toolname
    return toolname
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:7,代码来源:mcrl2_tools.py

示例5: compile_tools

def compile_tools():
  toolsdir = path('tools')
  if not toolsdir.exists():
    toolsdir.mkdir()
  global tool
  for file in path('../include/mcrl2/pbes/tools').files('*.h'):
    tool = file.namebase
    compile_tool()
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:8,代码来源:compile_tools.py

示例6: mem_usage

def mem_usage(process_name):
    global tool
    stdout, stderr, returncode = run(["top", "-n1", "-b"])
    lines = stdout.split("\n")
    for line in lines:
        if re.search(process_name, line) != None and len(line) >= 20:
            print line
            path("tools/" + tool).write_text(line + "\n", append=True)
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:8,代码来源:compile_tools.py

示例7: run_examples

def run_examples(exampledir):
    for dir in path(exampledir).dirs():
        os.chdir(dir)
        if path('myrun.py').exists():
            os.system('echo ---------------------------------------------------------------------------')
            os.system('echo --- {} ---'.format(dir))
            os.system('echo ---------------------------------------------------------------------------')
            os.system('python myrun.py')
        os.chdir(cwd)
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:9,代码来源:run_examples.py

示例8: save_counter_example

 def save_counter_example(self):
     txtfile = '%s_counter_example_%d.txt' % (self.name, self.counter)
     pbesfile = '%s_counter_example_%d.pbes' % (self.name, self.counter)
     path(txtfile).write_text(str(self.pbes))
     run_txt2pbes(txtfile, pbesfile)
     text = run_pbespp(pbesfile)
     path(txtfile).write_text(text)       
     print '--- %s counter example ---' % self.name
     print text
     self.counter = self.counter + 1
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:10,代码来源:random_pbes_generator.py

示例9: make_return_continuous_path

def make_return_continuous_path(x0,xf,y0,yf,tf,rx,ry,N):
    x0,xf = xf,x0
    y0,yf = yf,y0
    def path(x0,xf,rx):
        f = np.poly1d(poly3(x0,xf,0,tf,rx,rx))
        return f(np.linspace(0,tf,N))
    path_x = path(x0,xf,rx)
    path_y = path(y0,yf,ry)
    p = np.vstack((path_x,path_y))
    return p
开发者ID:bernardokyotoku,项目名称:oct,代码行数:10,代码来源:path.py

示例10: test_pbes_solvers

def test_pbes_solvers(p, filename):
    txtfile = filename + '.txt'
    path(txtfile).write_text('%s' % p)
    pbesfile = filename + '.pbes'
    run_txt2pbes(txtfile, pbesfile)
    answer1 = run_pbes2bool(pbesfile)
    answer2 = run_pbespgsolve(pbesfile)
    print filename, answer1, answer2
    if answer1 == None or answer2 == None:
      return True
    return answer1 == answer2
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:11,代码来源:test_pbes_solvers.py

示例11: test_pbesstategraph

def test_pbesstategraph(p, filename):
    txtfile = filename + '.txt'
    path(txtfile).write_text('%s' % p)
    testfile = '../random/tests/pbesstategraph.yml'
    inputfiles = [txtfile]
    reporterrors = True
    settings = dict()
    settings['verbose'] = False
    settings['toolpath'] = '../../tools/bin'
    result = run_replay(testfile, inputfiles, reporterrors, settings)
    print filename, result
    return result
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:12,代码来源:test_pbesstategraph.py

示例12: test_pbesabsinthe

def test_pbesabsinthe(p, filename, strategy):
    txtfile = filename + '.txt'
    path(txtfile).write_text('%s' % p)
    pbesfile1 = filename + 'a.pbes'
    pbesfile2 = filename + 'b.pbes'
    run_txt2pbes(txtfile, pbesfile1)
    run_pbesabsinthe(pbesfile1, pbesfile2, strategy)
    answer1 = run_pbes2bool(pbesfile1)
    answer2 = run_pbes2bool(pbesfile2)
    print filename, answer1, answer2
    if answer1 == None or answer2 == None:
      return True
    return answer1 == answer2
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:13,代码来源:test_pbesabsinthe.py

示例13: test_pbesinst

def test_pbesinst(p, filename):
    txtfile = filename + ".txt"
    path(txtfile).write_text("%s" % p)
    pbesfile = filename + ".pbes"
    besfile = filename + ".bes"
    run_txt2pbes(txtfile, pbesfile)
    if run_pbesinst(pbesfile, besfile, strategy="lazy"):
        answer1 = run_pbes2bool(pbesfile)
        answer2 = run_bessolve(besfile)
        print filename, answer1, answer2
        if answer1 == None or answer2 == None:
            return True
        return answer1 == answer2
    return True
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:14,代码来源:test_pbesinst_lazy.py

示例14: test_pbesinst_finite

def test_pbesinst_finite(p, filename):
    txtfile = filename + '.txt'
    path(txtfile).write_text('%s' % p)
    pbesfile1 = filename + '.pbes'
    pbesfile2 = filename + 'a.pbes'
    run_txt2pbes(txtfile, pbesfile1)
    if run_pbesinst(pbesfile1, pbesfile2, strategy = 'finite', selection = '*(*:Bool)'):
        answer1 = run_pbes2bool(pbesfile1)
        answer2 = run_pbes2bool(pbesfile2)
        print filename, answer1, answer2   
        if answer1 == None or answer2 == None:
          return True
        return answer1 == answer2
    return True
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:14,代码来源:test_pbesinst_finite.py

示例15: test_alphabet

def test_alphabet(p, filename):
    txtfile = filename + ".mcrl2"
    path(txtfile).write_text("%s" % p)
    lpsfile1 = filename + "a.lps"
    lpsfile2 = filename + "b.lps"
    ltsfile1 = filename + "a.lts"
    ltsfile2 = filename + "b.lts"
    run_mcrl22lps(txtfile, lpsfile1)
    run_mcrl22lps(txtfile, lpsfile2, "--no-alpha")
    run_lps2lts(lpsfile1, ltsfile1)
    run_lps2lts(lpsfile2, ltsfile2)
    answer_text = run_ltscompare(ltsfile1, ltsfile2, "-ebisim")
    answer = answer_text.find("LTSs are strongly bisimilar") != -1
    return answer
开发者ID:wiegerw,项目名称:mcrl2-boost-build,代码行数:14,代码来源:test_alphabet.py


注:本文中的path函数示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。