lib-src/csp/trail.cc

   1 //////////////////////////////////////////////////////////////////////////////
   2 // NOTICE:
   3 //
   4 // ADLib, Prop and their related set of tools and documentation are in the
   5 // public domain.   The author(s) of this software reserve no copyrights on
   6 // the source code and any code generated using the tools.  You are encouraged
   7 // to use ADLib and Prop to develop software, in both academic and commercial
   8 // settings, and are welcomed to incorporate any part of ADLib and Prop into
   9 // your programs.
  10 //
  11 // Although you are under no obligation to do so, we strongly recommend that
  12 // you give away all software developed using our tools.
  13 //
  14 // We also ask that credit be given to us when ADLib and/or Prop are used in
  15 // your programs, and that this notice be preserved intact in all the source
  16 // code.
  17 //
  18 // This software is still under development and we welcome(read crave for)
  19 // any suggestions and help from the users.
  20 //
  21 // Allen Leung (leunga@valis.cs.nyu.edu)
  22 // 1994-1996
  23 //////////////////////////////////////////////////////////////////////////////
  24
  25 #include <iostream>
  26 #include <stdlib.h>
  27 #include <AD/csp/trail.h>
  28 #include <AD/csp/logicalterm.h>
  29
  30 //////////////////////////////////////////////////////////////////////////////
  31 //
  32 //   Constructor for a trail.
  33 //
  34 //////////////////////////////////////////////////////////////////////////////
  35 UnificationTrail::UnificationTrail ()
  36 {  init_trail();
  37    init_CP();
  38 }
  39
  40 //////////////////////////////////////////////////////////////////////////////
  41 //
  42 //   Destructor for a trail.
  43 //
  44 //////////////////////////////////////////////////////////////////////////////
  45 UnificationTrail::~UnificationTrail ()
  46 {  cleanup_trail();
  47    cleanup_CP();
  48 }
  49
  50 //////////////////////////////////////////////////////////////////////////////
  51 //
  52 //   Method to expand the unification trail stack.
  53 //
  54 //////////////////////////////////////////////////////////////////////////////
  55 void UnificationTrail::grow_trail ()
  56 {
  57 }
  58
  59 //////////////////////////////////////////////////////////////////////////////
  60 //
  61 //   Method to expand the choice point stack.
  62 //
  63 //////////////////////////////////////////////////////////////////////////////
  64 void UnificationTrail::grow_CP ()
  65 {
  66 }