TPDB.Data.Attributes

Documentation

data Attributes

Constructors

Attributes

Fields

• size_of_signature :: Int
• max_arity :: Int
• total_term_size :: Int
• max_term_size :: Int
• max_term_depth :: Int
• left_linear :: Bool
• right_linear :: Bool
• linear :: Bool
• max_var_count :: Int
• max_var_depth :: Int

Instances

Pretty Attributes

Methods

pretty :: Attributes -> Doc

prettyList :: [Attributes] -> Doc

compute_attributes :: (Ord v, Ord c) => [Rule (Term v c)] -> Attributes

varcount :: Ord v => Rule (Term v c) -> Map v (Int, Int)

varcount_term :: Ord v => Term v c -> Map v Int