{-# LANGUAGE DeriveDataTypeable #-}

{- |

Module : ./TPTP/Morphism.hs

Description : Symbol-related functions for TPTP.

Copyright : (c) Eugen Kuksa University of Magdeburg 2017

License : GPLv2 or higher, see LICENSE.txt

Maintainer : Eugen Kuksa <kuksa@iks.cs.ovgu.de>

Stability : provisional

Portability : non-portable (imports Logic)

Symbol-related functions for TPTP.

-}

module TPTP.Morphism.Sentence (symbolsOfSentence) where

import TPTP.Morphism

import TPTP.Sign as Sign

import TPTP.StaticAnalysis (signOfSentence)

import qualified Data.Set as Set

symbolsOfSentence :: Sentence -> Set.Set Symbol

symbolsOfSentence = symbolsOfSign . signOfSentence