GTA.Data.BinTree

This module provides the GTA framework on binary (and leaf-valued) trees, such as definitions of the data structures and their algebras, generators, aggregators, etc.

Documentation

data LVTree a

Constructors

NodeLV (LVTree a) (LVTree a)

LeafLV a

Instances

Eq a => Eq (LVTree a)

Ord a => Ord (LVTree a)

Read a => Read (LVTree a)

GenericSemiringStructure (LVTreeAlgebra b) (LVTree b) (LVTreeMapFs b)

data LVTreeAlgebra b a

Constructors

LVTreeAlgebra

Fields

nodeLV :: a -> a -> a

leafLV :: b -> a

Instances

GenericSemiringStructure (LVTreeAlgebra b) (LVTree b) (LVTreeMapFs b)

data LVTreeMapFs b b'

Constructors

LVTreeMapFs

Fields

leafLVF :: b -> b'

Instances

GenericSemiringStructure (LVTreeAlgebra b) (LVTree b) (LVTreeMapFs b)

data BinTree n l

Constructors

BinNode n (BinTree n l) (BinTree n l)

BinLeaf l

Instances

(Eq n, Eq l) => Eq (BinTree n l)

(Ord n, Ord l) => Ord (BinTree n l)

(Read n, Read l) => Read (BinTree n l)

GenericSemiringStructure (BinTreeAlgebra n l) (BinTree n l) (BinTreeMapFs n l)

data BinTreeAlgebra n l a

Constructors

BinTreeAlgebra

Fields

binNode :: n -> a -> a -> a

binLeaf :: l -> a

Instances

GenericSemiringStructure (BinTreeAlgebra n l) (BinTree n l) (BinTreeMapFs n l)

data BinTreeMapFs n l b'

Constructors

BinTreeMapFs

Fields

binNodeF :: n -> b'

binLeafF :: l -> b'

Instances

GenericSemiringStructure (BinTreeAlgebra n l) (BinTree n l) (BinTreeMapFs n l)

lvtrees :: [a] -> LVTreeSemiring a s -> s

subtreeSelectsWithRoot :: BinTree n l -> BinTreeSemiring (Bool, n) (Bool, l) a -> a

subtreeSelects :: BinTree n l -> BinTreeSemiring (Bool, n) (Bool, l) a -> a

selects :: BinTree n l -> BinTreeSemiring (Bool, n) (Bool, l) a -> a

assignTrans :: [b] -> [c] -> BinTreeSemiring c (b, a) s -> LVTreeSemiring a s

assignTrees :: [b] -> [c] -> [a] -> BinTreeSemiring c (b, a) s -> s

count :: Num a => BinTreeSemiring n l a

maxsum :: (Num a, Ord a) => BinTreeSemiring (Bool, a) (Bool, a) (AddIdentity a)

maxsumsolution :: (Num a, Ord a) => BinTreeSemiring (Bool, a) (Bool, a) (AddIdentity a, Bag (BinTree (Bool, a) (Bool, a)))

type LVTreeSemiring a s = GenericSemiring (LVTreeAlgebra a) s

type BinTreeSemiring n l a = GenericSemiring (BinTreeAlgebra n l) a