コード例 #1
0
ファイル: Model.py プロジェクト: TerryLew/BinLOTlib
 def __init__(self, *args, **kwargs):
     # Since we use flip, this must be an argument of a 'context' C that will manage the randomness. Note that
     # C is the last argument, so Cfirst=False below
     RecursiveLOTHypothesis.__init__(self,
                                     grammar=grammar,
                                     display="lambda recurse_, C: %s",
                                     *args,
                                     **kwargs)
コード例 #2
0
ファイル: Model.py プロジェクト: TerryLew/BinLOTlib
 def __init__(self, grammar=None, value=None, f=None, gamma=-30, **kwargs):
     RecursiveLOTHypothesis.__init__(self,
                                     grammar,
                                     value=value,
                                     f=f,
                                     **kwargs)
     self.gamma = gamma
     self.lg1mgamma = log1mexp(gamma)
コード例 #3
0
ファイル: search2.py プロジェクト: joshrule/LOTlib
 def __init__(self, grammar=base_grammar, **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar, **kwargs)
コード例 #4
0
ファイル: Model.py プロジェクト: piantado/LOTlib
 def __init__(self, grammar=None, value=None, f=None, gamma=-30, **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar, value=value, f=f, **kwargs)
     self.gamma = gamma
     self.lg1mgamma = log1mexp(gamma)
コード例 #5
0
 def __init__(self, grammar=None, **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar=grammar, **kwargs)
コード例 #6
0
ファイル: Hypothesis.py プロジェクト: ebigelow/LOTlib
 def __init__(self, grammar=None, **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar, args=[], recurse_bound=25, maxnodes=100, **kwargs)
コード例 #7
0
 def __init__(self, grammar=None, display="lambda recurse_: %s", **kwargs):
     RecursiveLOTHypothesis.__init__(self,
                                     grammar=grammar,
                                     display=display,
                                     **kwargs)
コード例 #8
0
 def __init__(self, grammar=None, display="lambda recurse_: %s", **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar=grammar, display=display, **kwargs)
コード例 #9
0
ファイル: Model.py プロジェクト: piantado/LOTlib
 def __init__(self, *args, **kwargs):
     # Since we use flip, this must be an argument of a 'context' C that will manage the randomness. Note that
     # C is the last argument, so Cfirst=False below
     RecursiveLOTHypothesis.__init__(self, grammar=grammar, display="lambda recurse_, C: %s", *args, **kwargs)
コード例 #10
0
ファイル: Hypothesis.py プロジェクト: ebigelow/LOTlib
 def __init__(self, grammar=None, value=None, f=None, args=['x'], **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar, value=value, args=['x'], **kwargs)
コード例 #11
0
ファイル: search2.py プロジェクト: TerryLew/BinLOTlib
 def __init__(self, grammar=base_grammar, **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar, **kwargs)
コード例 #12
0
ファイル: Hypothesis.py プロジェクト: moverlan/LOTlib
 def __init__(self, grammar, value=None, f=None, proposal_function=None, args=['x'], **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar, value=value, proposal_function=proposal_function, args=['x'], **kwargs)
コード例 #13
0
 def __init__(self, grammar=None, **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar, args=[], recurse_bound=20, maxnodes=100, **kwargs)
コード例 #14
0
 def __init__(self, grammar=None, **kwargs):
     RecursiveLOTHypothesis.__init__(self, grammar=grammar, **kwargs)