TPTP/Morphism/Sentence.hs

{-# 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