Adalog: remove the state machine solver and the solver generic interface

The old solver is pretty much useless at this stage, so remove it. That
removal in turn makes the generic interface useless, so get rid of it as
well, renaming the symbolic solver to be a substitute and sligthly
adapting it to make it API compatible.

TN: SB20-024

Author: pmderodat

langkit/templates/pkg_analysis_body_ada.mako

@@ -20,17 +20,7 @@ pragma Warnings (On, "is an internal GNAT unit");
 with GNATCOLL.Traces;
 
 pragma Warnings (Off, "referenced");
-with Langkit_Support.Adalog.Abstract_Relation;
-use Langkit_Support.Adalog.Abstract_Relation;
-with Langkit_Support.Adalog.Debug;
-use Langkit_Support.Adalog.Debug;
-with Langkit_Support.Adalog.Operations;
-use Langkit_Support.Adalog.Operations;
-with Langkit_Support.Adalog.Predicates;
-use Langkit_Support.Adalog.Predicates;
-with Langkit_Support.Adalog.Pure_Relations;
-use Langkit_Support.Adalog.Pure_Relations;
-with Langkit_Support.Symbols;      use Langkit_Support.Symbols;
+with Langkit_Support.Symbols; use Langkit_Support.Symbols;
 pragma Warnings (On, "referenced");
 
 with Langkit_Support.Types;        use Langkit_Support.Types;
@@ -339,15 +329,6 @@ package body ${ada_lib_name}.Analysis is
       Set_Logic_Resolution_Timeout (Unwrap_Context (Context), Timeout);
    end Set_Logic_Resolution_Timeout;
 
-   ---------------------
-   -- Set_Solver_Kind --
-   ---------------------
-
-   procedure Set_Solver_Kind (Kind : Langkit_Support.Adalog.Solver_Kind) is
-   begin
-      Implementation.Solver.Set_Kind (Kind);
-   end Set_Solver_Kind;
-
    ---------------------------
    -- Set_Lookup_Cache_Mode --
    ---------------------------

langkit/templates/pkg_analysis_spec_ada.mako

@@ -20,7 +20,6 @@ with GNATCOLL.Refcount;
 % if any(s.exposed and not s.is_entity_type for s in ctx.struct_types):
    private with Langkit_Support.Boxes;
 % endif
-with Langkit_Support.Adalog;
 
 with Langkit_Support.File_Readers; use Langkit_Support.File_Readers;
 with Langkit_Support.Lexical_Envs; use Langkit_Support.Lexical_Envs;
@@ -298,9 +297,6 @@ package ${ada_lib_name}.Analysis is
    --  Set the lexical environments lookup cache mode according to ``Mode``.
    --  Note: Mainly meant for debugging the default mode.
 
-   procedure Set_Solver_Kind (Kind : Langkit_Support.Adalog.Solver_Kind);
-   --  Set the library's solver kind
-
    function Has_Rewriting_Handle
      (Context : Analysis_Context'Class) return Boolean;
    --  Return whether ``Context`` has a rewriting handler (see

langkit/templates/pkg_debug_body_ada.mako

@@ -83,14 +83,4 @@ package body ${ada_lib_name}.Debug is
       return Symbol.Success and then Image (S.all) = Image (Symbol.Symbol);
    end Sym_Matches;
 
-   ----------
-   -- PRel --
-   ----------
-
-   procedure PRel (Rel : Relation; Context_Node : ${T.root_node.name}) is
-   begin
-      Assign_Names_To_Logic_Vars (Context_Node);
-      Print_Relation (Rel, null, False);
-   end PRel;
-
 end ${ada_lib_name}.Debug;

langkit/templates/pkg_debug_spec_ada.mako

@@ -3,9 +3,6 @@
 --  This package defines subprograms whose only purpose it to be used from a
 --  debugger. This is supposed to make developpers' life easier.
 
-with Langkit_Support.Adalog.Abstract_Relation;
-use Langkit_Support.Adalog.Abstract_Relation;
-
 with Langkit_Support.Lexical_Envs; use Langkit_Support.Lexical_Envs;
 with Langkit_Support.Symbols;      use Langkit_Support.Symbols;
 with Langkit_Support.Token_Data_Handlers;
@@ -38,7 +35,4 @@ private package ${ada_lib_name}.Debug is
    --  Return whether the text associated to S matches Text. There is a bug in
    --  GDB that makes comparison with "=" always return false.
 
-   procedure PRel (Rel : Relation; Context_Node : ${T.root_node.name});
-   --  "Print Relation". Print Rel as a tree of logic relations
-
 end ${ada_lib_name}.Debug;