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

  value is meaningless if the system has no variables

Instances

Show Attributes

Defined in TPDB.Data.Attributes

Methods

showsPrec :: Int -> Attributes -> ShowS

show :: Attributes -> String

showList :: [Attributes] -> ShowS

Pretty Attributes

Defined in TPDB.Data.Attributes

Methods

pretty :: Attributes -> Doc ann

prettyList :: [Attributes] -> Doc ann

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

safe_maximum :: Ord p => p -> [p] -> p

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

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