← Back to branch summary

~ubuntu-branches/ubuntu/saucy/ladr/saucy

« back to all changes in this revision

Viewing changes to ladr/tptp_trans.c

  • Committer: Package Import Robot
  • Author(s): Frank Lichtenheld
  • Date: 2013-05-25 11:43:32 UTC
  • mfrom: (5.1.5 sid)
  • Revision ID: package-import@ubuntu.com-20130525114332-lkzco1dti2hwrf7v
Tags: 0.0.200911a-2
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ladr/tptp_trans.c
625
625
      Ilist b = syms_in_form(ARG(t,1), TRUE);
626
626
      return ilist_union(a,b);
627
627
    }
 
628
    else if (is_term(t, "$true", 0) || is_term(t, "$false", 0))
 
629
      return NULL;
628
630
    else
629
631
      return fsym_set_in_term(t);
630
632
  }
652
654
      Ilist b = syms_in_form(ARG(t,1), FALSE);
653
655
      return ilist_union(a,b);
654
656
    }
 
657
    else if (is_term(t, "$true", 0) || is_term(t, "$false", 0))
 
658
      return NULL;
655
659
    else
656
660
      return fsym_set_in_term(t);
657
661
  }
666
670
static
667
671
BOOL good_tptp_sym(char *s)
668
672
{
669
 
  /* [a-z][a-zA-Z0-9_]* */
670
673
  if (strlen(s) == 0)
671
674
    return FALSE;
672
675
  else {
 
676
    /* [a-z][a-zA-Z0-9_]* */
673
677
    if (!(s[0] >= 'a' && s[0] <= 'z'))
674
678
      return FALSE;
675
679
    else {