Singleton_List

Finite_IDL_Solver_Interface

Pattern_Completeness_Set

FCF_Problem

Pattern_Completeness_Multiset

Pattern_Completeness_List

FCF_Set

FCF_Multiset

FCF_List

Finite_IDL_Solver

Pattern_Completeness_Improved_Algorithm

Pattern_Completeness

Test_Pat_Complete