doc/info/it/Contexts.texi

   1 @menu
   2 * Definitions for Contexts::
   3 @end menu
   4
   5 @node Definitions for Contexts,  , Contexts, Contexts
   6 @section Definitions for Contexts
   7
   8 @deffn {Function} activate (@var{context_1}, ..., @var{context_n})
   9 THIS ITEM NEEDS TO BE TRANSLATED.
  10 @end deffn
  11
  12 @defvr {System variable} activecontexts
  13 THIS ITEM NEEDS TO BE TRANSLATED.
  14 @end defvr
  15
  16 @deffn {Function} assume (@var{pred_1}, ..., @var{pred_n})
  17 THIS ITEM NEEDS TO BE TRANSLATED.
  18 @end deffn
  19
  20 @defvr {Option variable} assumescalar
  21 THIS ITEM NEEDS TO BE TRANSLATED.
  22 @end defvr
  23
  24 @defvr {Option variable} assume_pos
  25 THIS ITEM NEEDS TO BE TRANSLATED.
  26 @end defvr
  27
  28 @defvr {Option variable} assume_pos_pred
  29 THIS ITEM NEEDS TO BE TRANSLATED.
  30 @end defvr
  31
  32 @defvr {Option variable} context
  33 THIS ITEM NEEDS TO BE TRANSLATED.
  34 @end defvr
  35
  36 @defvr {Option variable} contexts
  37 THIS ITEM NEEDS TO BE TRANSLATED.
  38 @end defvr
  39
  40 @deffn {Function} deactivate (@var{context_1}, ..., @var{context_n})
  41 THIS ITEM NEEDS TO BE TRANSLATED.
  42 @end deffn
  43
  44 @deffn {Function} facts (@var{item})
  45 @deffnx {Function} facts ()
  46 THIS ITEM NEEDS TO BE TRANSLATED.
  47 @end deffn
  48
  49 @defvr {Declaration} features
  50 THIS ITEM NEEDS TO BE TRANSLATED.
  51 @end defvr
  52
  53 @deffn {Function} forget (@var{pred_1}, ..., @var{pred_n})
  54 @deffnx {Function} forget (@var{L})
  55 THIS ITEM NEEDS TO BE TRANSLATED.
  56 @end deffn
  57
  58 @deffn {Function} killcontext (@var{context_1}, ..., @var{context_n})
  59 THIS ITEM NEEDS TO BE TRANSLATED.
  60 @end deffn
  61
  62 @deffn {Function} newcontext (@var{name})
  63 THIS ITEM NEEDS TO BE TRANSLATED.
  64 @end deffn
  65
  66 @deffn {Function} supcontext (@var{name}, @var{context})
  67 @deffnx {Function} supcontext (@var{name})
  68 THIS ITEM NEEDS TO BE TRANSLATED.
  69 @end deffn
  70