{- |

Module : $Header$

Description : Symbol related functions for SoftFOL.

Copyright : (c) Klaus Luettich, Uni Bremen 2007

License : GPLv2 or higher

Maintainer : luecke@informatik.uni-bremen.de

Stability : provisional

Portability : portable

Functions for symbols of SoftFOL.

-}

module SoftFOL.Morphism (symOf, symbolToId) where

import SoftFOL.Sign

import Common.Id

import qualified Data.Set as Set

import qualified Data.Map as Map

symOf :: Sign -> Set.Set SFSymbol

symOf sig =

let opSymbs = Set.unions $ map toOpSymb $ Map.toList $ funcMap sig

predSymbs = Set.unions $ map toPredSymb $ Map.toList $ predMap sig

sortSymbs = Set.map toSortSymb $ Map.keysSet $ sortMap sig

in Set.unions [opSymbs,predSymbs,sortSymbs]

toOpSymb :: (SPIdentifier,Set.Set([SPIdentifier], SPIdentifier))

-> Set.Set SFSymbol

toOpSymb (ident,ts) = Set.map toSymb ts

where toSymb (args,res) =

SFSymbol { sym_ident = ident

, sym_type = SFOpType args res}

toPredSymb :: (SPIdentifier,Set.Set [SPIdentifier]) -> Set.Set SFSymbol

toPredSymb (ident,ts) = Set.map toSymb ts

where toSymb args =

SFSymbol { sym_ident = ident

, sym_type = SFPredType args}

toSortSymb :: SPIdentifier -> SFSymbol

toSortSymb ident = SFSymbol { sym_ident = ident

, sym_type = SFSortType}

symbolToId :: SFSymbol -> Id

symbolToId = mkId . (:[]) . sym_ident