gapt.formats.tip.util.TipNameGenerator.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation

General Architecture for Proof Theory

The newest version!

package gapt.formats.tip.util

import gapt.utils.NameGenerator

class TipNameGenerator(initiallyUsed: Iterable[String])
    extends NameGenerator(
      initiallyUsed ++ List(
        "case",
        "match",
        "ite",
        "and",
        "or",
        "forall",
        "exists",
        "=>",
        "=",
        "declare-sort",
        "declare-const",
        "declare-fun",
        "declare-datatypes",
        "define-fun",
        "define-fun-rec",
        "define-funs-rec",
        "prove",
        "par",
        "assert",
        "not",
        "true",
        "false"
      )
    ) {}