{-# 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 :: Sentence -> Set Symbol
symbolsOfSentence = Sign -> Set Symbol
symbolsOfSign (Sign -> Set Symbol)
-> (Sentence -> Sign) -> Sentence -> Set Symbol
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Sentence -> Sign
signOfSentence