Esempio n. 1
0
def simulate(init_states, max_time=5):
    '''simulate the automaton from each initial rect'''

    q_list = init_list_to_q_list(init_states, center=True, star=True, corners=True, rand=100)
    result = sim.simulate_multi(q_list, max_time)

    return result
Esempio n. 2
0
def simulate(init_states, max_time=10):
    '''simulate the automaton from each initial rect'''

    q_list = init_list_to_q_list(init_states, center=True, star=True, corners=True, rand=100)
    result = sim.simulate_multi(q_list, max_time)

    return result
Esempio n. 3
0
    def test_init_unique(self):
        'test uniqueness of initial states'
        r = HyperRectangle([(1, 1), (2, 2), (3, 3)])

        init_states = [('first', r), ('second', r), ('first', r)] 

        q_list = init_list_to_q_list(init_states, center=True, star=True, corners=True)

        self.assertTrue(len(q_list) == 2, "converted initial sim states have two points")
Esempio n. 4
0
    def test_init_unique(self):
        'test uniqueness of initial states'
        r = HyperRectangle([(1, 1), (2, 2), (3, 3)])

        init_states = [('first', r), ('second', r), ('first', r)]

        q_list = init_list_to_q_list(init_states,
                                     center=True,
                                     star=True,
                                     corners=True)

        self.assertTrue(
            len(q_list) == 2, "converted initial sim states have two points")