Python input_yes 예제들

예제 #1

파일: backwrd5.py 프로젝트: improve100/python-scripts

def report(kbase, binding, query, pmode, proof):
    if not pmode:
        pmode = print_mode  # use current global mode
    else:
        pmode = pmode[0]
        if pmode == None:
            return binding  # return solns to caller
            # else use pmode passed
    if binding == {}:
        print 'yes: (no variables)'
    else:
        if pmode[0] == 'vars':
            print 'yes: ',
            for var in binding.keys():
                print var, '=', binding[var], ' ',
            print
        else:
            print 'yes: ' + external(substitute(query, binding))

    if pmode[1] == 'all':
        return
    else:
        print
        if input_yes(kbase, 'show proof ? '):
            ignore = trace_tree(proof, binding, 0)

        if input_yes(kbase, 'more solutions? '):
            print
            return
        else:
            raise stop_proof

예제 #2

파일: backwrd5.py 프로젝트: asottile/ancient-pythons

def report(kbase, binding, query, pmode, proof):
    if not pmode:
        pmode = print_mode                         # use current global mode
    else:
        pmode = pmode[0]
        if pmode == None:
            return binding                         # return solns to caller
                                                   # else use pmode passed
    if binding == {}:
        print 'yes: (no variables)'
    else:
        if pmode[0] == 'vars':
            print 'yes: ', 
            for var in binding.keys():
                print var, '=', binding[var], ' ',
            print
        else:
            print 'yes: ' + external(substitute(query, binding))
    
    if pmode[1] == 'all':
        return
    else:
        print
        if input_yes(kbase, 'show proof ? '):
            ignore = trace_tree(proof, binding, 0)

        if input_yes(kbase, 'more solutions? '):
            print
            return
        else:
            raise stop_proof

예제 #3

파일: backwrd3.py 프로젝트: SherwinKP/algorithm

def report(kbase, binding, query, pmode):
    if not pmode:
        pmode = print_mode  # use current global mode
    else:
        pmode = pmode[0]

    if binding == {}:
        print 'yes: (no variables)'
    else:
        if pmode[0] == 'vars':
            print 'yes: ',
            for var in binding.keys():
                print var, '=', binding[var], ' ',
            print
        else:
            print 'yes: ' + external(substitute(query, binding))

    if pmode[1] == 'all':
        return 1
    else:
        return input_yes(kbase, 'more solutions? ')

예제 #4

파일: backwrd3.py 프로젝트: liubiggun/PP4E

def report(binding, query, pmode):
    if not pmode:
        pmode = print_mode  # use current global mode
    else:
        pmode = pmode[0]

    if binding == {}:
        print "yes: (no variables)"
    else:
        if pmode[0] == "vars":
            print "yes: ",
            for var in binding.keys():
                print var, "=", binding[var], " ",
            print
        else:
            print "yes: " + external(substitute(query, binding))

    if pmode[1] == "all":
        return 1
    else:
        return input_yes("more solutions? ")

예제 #5

파일: backwrd3.py 프로젝트: KhalidEzzeldeen/BitsAndBobs

def report(kbase, binding, query, pmode):
    if not pmode:
        pmode = print_mode                         # use current global mode
    else:
        pmode = pmode[0]
    
    if binding == {}:
        print 'yes: (no variables)'
    else:
        if pmode[0] == 'vars':
            print 'yes: ', 
            for var in binding.keys():
                print var, '=', binding[var], ' ',
            print
        else:
            print 'yes: ' + external(substitute(query, binding))
    
    if pmode[1] == 'all':
        return 1
    else:
        return input_yes(kbase, 'more solutions? ')