-- UUAGC 0.9.52.1 (src/UHC/Shuffle/AspectExpr.ag)
module UHC.Shuffle.AspectExpr where

import System.IO
import qualified Data.Set as Set


type AspectRef  = String
type AspectRefReqd = Set.Set AspectRef
-- AGAspectExprItf ---------------------------------------------
data AGAspectExprItf = AGAspectExprItf_AGItf (AspectExpr)
                     deriving ( Eq,Ord,Show)
-- AspectExpr --------------------------------------------------
data AspectExpr = AspectExpr_True
                | AspectExpr_Requires (String)
                | AspectExpr_Or (AspectExpr) (AspectExpr)
                | AspectExpr_And (AspectExpr) (AspectExpr)
                | AspectExpr_Not (AspectExpr)
                deriving ( Eq,Ord,Show)