# Path: tests/test_basic_bifunctor.py
# class AbstractTransportTest(unittest.TestCase):
# class AbstractStandardTransportTest(AbstractTransportTest, common_objects.CommonObjects):
# class TransportTest(AbstractStandardTransportTest):
#   def assert_transport_succeeds(self, bifunctor, left, right, transported):
#   def assert_transport_duplicating_succeeds(self, bifunctor, right, transported):
#   def setUp(self):
#   def assert_standard_transport_succeeds(self, bifunctor):
#   def assert_standard_transport_duplicating_succeeds(self, bifunctor):
#   def assert_bifunctor_transports_correctly(self, bifunctor):
#   def test_and(self):
#   def check_composite(self,
#       left = endofunctor.identity_functor,
#       right = endofunctor.identity_functor,
#       after = endofunctor.identity_functor):
#   def test_and_left(self):
#   def test_and_right(self):
#   def test_and_left_right(self):
#   def test_or_right(self):
#   def test_or_left(self):
#   def test_or_both(self):
#   def test_or_and(self):
#   def test_deep_and_or(self):
#   def test_not_not(self):
#   def test_deep_and_not_not(self):
#   def test_exists(self):
#   def test_multiple_exists(self):
# def suite():
# 
# Path: tests/test_basic_endofunctor.py
# class ImportTest(unittest.TestCase):
# class ExactImportTests(ImportTest, common_objects.CommonObjects):
#   def assert_can_import_through_covariant_functor(self, functor):
#   def assert_exact_import_succeeds(self, functor, B):
#   def assert_import_from_succeeds(self, functor, B):
#   def setUp(self):
#   def test_import_through_id(self):
#   def test_import_through_or(self):
#   def test_import_through_or_or(self):
#   def test_import_through_or_not_not(self):
#   def test_import_through_or_and_or(self):
#   def test_import_not_not(self):
#   def test_import_not_not_not_not(self):
#   def test_import_middle(self):
#   def test_import_not_andBofA_not(self):
#   def test_import_well_defined(self):
#   def test_import_exists_well_defined(self):
#   def test_import_well_defined_exists(self):
#   def assert_can_import_B_from(self, functor):
#   def test_import_from_and(self):
#   def test_import_from_or_and(self):
#   def test_import_from_or_not_not_and(self):
# def suite():
# 
# Path: tests/test_enriched_functors.py
# class AbstractSearchTest(unittest.TestCase):
# class SearchTest(AbstractSearchTest, CommonObjects):
# class AbstractTransportTest(unittest.TestCase):
# class TransportTest(AbstractTransportTest, CommonObjects):
#   def assert_exact_search_fails(self, functor, claim):
#   def assert_exact_search_succeeds_once(self, functor, claim):
#   def assert_exact_search_succeeds(self, functor, claim, intended_result):
#   def setUp(self):
#   def test_search_and(self):
#   def test_search_and_fails(self):
#   def test_search_composite(self):
#   def assertEnrichedEqual(self, a, b):
#   def assert_transport_duplicating_succeeds(self, bifunctor, right, transported):
#   def assert_standard_transport_succeeds(self, bifunctor):
#   def setUp(self):
#   def test_empty_and(self):
#   def test_transport_front_of_large_and(self):
#   def test_transport_back_of_large_and(self):
#   def test_transport_back_of_large_and(self):
#   def test_transport_nested_ands(self):
#   def test_transport_doubly_nested_ands(self):
#   def test_transport_nested_and_or(self):
#   def test_transport_not_or_not(self):
#   def test_transport_ordinary_exists(self):
#   def test_multi_ordinary_exists(self):
# def suite():
# 
# Path: tests/test_path.py
# class AbstractPathSearchTest(unittest.TestCase):
# class PathSearchTest(AbstractPathSearchTest, CommonObjects):
#   def assertEqualPaths(self, a, b):
#   def assertValidPathArrow(self, arrow):
#   def assert_path_search_succeeds(self, src_path, search_spec, number):
#   def assert_exact_path_search_fails(self, src_path, formula):
#   def assert_exact_path_search_succeeds_once(self, src_path, formula):
#   def setUp(self):
#   def test_search_P1(self):
#   def test_search_P2(self):
#   def test_search_bounded_exists(self):
#   def test_search_wd_exists(self):
#   def test_search_past_wd_exists(self):
# def suite():


import unittest
from tests import test_basic_bifunctor, test_basic_endofunctor, test_enriched_functors, test_path
# Copyright (C) 2013 Korei Klein <korei.klein1@gmail.com>


def suite():
  testSuite = unittest.TestSuite(( test_basic_bifunctor.suite()
                                 , test_basic_endofunctor.suite()
                                 , test_enriched_functors.suite()
                                 , test_path.suite()))

# Path: tests/test_basic_bifunctor.py
# class AbstractTransportTest(unittest.TestCase):
# class AbstractStandardTransportTest(AbstractTransportTest, common_objects.CommonObjects):
# class TransportTest(AbstractStandardTransportTest):
#   def assert_transport_succeeds(self, bifunctor, left, right, transported):
#   def assert_transport_duplicating_succeeds(self, bifunctor, right, transported):
#   def setUp(self):
#   def assert_standard_transport_succeeds(self, bifunctor):
#   def assert_standard_transport_duplicating_succeeds(self, bifunctor):
#   def assert_bifunctor_transports_correctly(self, bifunctor):
#   def test_and(self):
#   def check_composite(self,
#       left = endofunctor.identity_functor,
#       right = endofunctor.identity_functor,
#       after = endofunctor.identity_functor):
#   def test_and_left(self):
#   def test_and_right(self):
#   def test_and_left_right(self):
#   def test_or_right(self):
#   def test_or_left(self):
#   def test_or_both(self):
#   def test_or_and(self):
#   def test_deep_and_or(self):
#   def test_not_not(self):
#   def test_deep_and_not_not(self):
#   def test_exists(self):
#   def test_multiple_exists(self):
# def suite():
# 
# Path: tests/test_basic_endofunctor.py
# class ImportTest(unittest.TestCase):
# class ExactImportTests(ImportTest, common_objects.CommonObjects):
#   def assert_can_import_through_covariant_functor(self, functor):
#   def assert_exact_import_succeeds(self, functor, B):
#   def assert_import_from_succeeds(self, functor, B):
#   def setUp(self):
#   def test_import_through_id(self):
#   def test_import_through_or(self):
#   def test_import_through_or_or(self):
#   def test_import_through_or_not_not(self):
#   def test_import_through_or_and_or(self):
#   def test_import_not_not(self):
#   def test_import_not_not_not_not(self):
#   def test_import_middle(self):
#   def test_import_not_andBofA_not(self):
#   def test_import_well_defined(self):
#   def test_import_exists_well_defined(self):
#   def test_import_well_defined_exists(self):
#   def assert_can_import_B_from(self, functor):
#   def test_import_from_and(self):
#   def test_import_from_or_and(self):
#   def test_import_from_or_not_not_and(self):
# def suite():
# 
# Path: tests/test_enriched_functors.py
# class AbstractSearchTest(unittest.TestCase):
# class SearchTest(AbstractSearchTest, CommonObjects):
# class AbstractTransportTest(unittest.TestCase):
# class TransportTest(AbstractTransportTest, CommonObjects):
#   def assert_exact_search_fails(self, functor, claim):
#   def assert_exact_search_succeeds_once(self, functor, claim):
#   def assert_exact_search_succeeds(self, functor, claim, intended_result):
#   def setUp(self):
#   def test_search_and(self):
#   def test_search_and_fails(self):
#   def test_search_composite(self):
#   def assertEnrichedEqual(self, a, b):
#   def assert_transport_duplicating_succeeds(self, bifunctor, right, transported):
#   def assert_standard_transport_succeeds(self, bifunctor):
#   def setUp(self):
#   def test_empty_and(self):
#   def test_transport_front_of_large_and(self):
#   def test_transport_back_of_large_and(self):
#   def test_transport_back_of_large_and(self):
#   def test_transport_nested_ands(self):
#   def test_transport_doubly_nested_ands(self):
#   def test_transport_nested_and_or(self):
#   def test_transport_not_or_not(self):
#   def test_transport_ordinary_exists(self):
#   def test_multi_ordinary_exists(self):
# def suite():
# 
# Path: tests/test_path.py
# class AbstractPathSearchTest(unittest.TestCase):
# class PathSearchTest(AbstractPathSearchTest, CommonObjects):
#   def assertEqualPaths(self, a, b):
#   def assertValidPathArrow(self, arrow):
#   def assert_path_search_succeeds(self, src_path, search_spec, number):
#   def assert_exact_path_search_fails(self, src_path, formula):
#   def assert_exact_path_search_succeeds_once(self, src_path, formula):
#   def setUp(self):
#   def test_search_P1(self):
#   def test_search_P2(self):
#   def test_search_bounded_exists(self):
#   def test_search_wd_exists(self):
#   def test_search_past_wd_exists(self):
# def suite():


# Path: tests/complete_suite.py
import unittest
from tests import test_basic_bifunctor, test_basic_endofunctor, test_enriched_functors, test_path

# Copyright (C) 2013 Korei Klein <korei.klein1@gmail.com>


def suite():
  testSuite = unittest.TestSuite(( test_basic_bifunctor.suite()
                                 , test_basic_endofunctor.suite()
                                 , test_enriched_functors.suite()
                                 , test_path.suite()))

  return testSuite