Did I find the right examples for you? yes no      Crawl my project      Python Jobs

All Samples(5)  |  Call(5)  |  Derive(0)  |  Import(0)

src/l/t/LTLMoP-HEAD/src/lib/bdd.py   LTLMoP(Download)
 
        # Create a Domain for jx to help with conversion to/from bitvectors
        self.jx_domain = strategy.Domain("_jx", value_mapping=range(self.num_goals), endianness=strategy.Domain.B0_IS_LSB)
 
    def searchForStates(self, prop_assignments, state_list=None):

src/l/t/LTLMoP-HEAD/src/lib/specCompiler.py   LTLMoP(Download)
            regions = self.proj.rfi.regions
 
        region_domain = strategy.Domain("region", regions, strategy.Domain.B0_IS_MSB)
        strat = strategy.createStrategyFromFile(self.proj.getStrategyFilename(),
                                                self.proj.enabled_sensors,

src/l/t/LTLMoP-HEAD/src/lib/execute.py   LTLMoP(Download)
        filename (string): name of the file with path included
        """
        region_domain = strategy.Domain("region",  self.proj.rfi.regions, strategy.Domain.B0_IS_MSB)
        strat = strategy.createStrategyFromFile(filename,
                                                self.proj.enabled_sensors,

src/l/t/LTLMoP-HEAD/src/specEditor.py   LTLMoP(Download)
    def _exportDotFile(self):
        region_domain = strategy.Domain("region",  self.decomposedRFI.regions, strategy.Domain.B0_IS_MSB)
        strat = strategy.createStrategyFromFile(self.proj.getStrategyFilename(),
                                                self.proj.enabled_sensors,
                                                self.proj.enabled_actuators + self.proj.all_customs +  [region_domain])

src/l/t/LTLMoP-HEAD/src/lib/strategy.py   LTLMoP(Download)
 
    ### Load the strategy
    region_domain = strategy.Domain("region", spec_map.regions, Domain.B0_IS_MSB)
 
    strat = createStrategyFromFile(proj.getStrategyFilename(),