GTA.Data.BinTree

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 a0) (LVTree a0) (LVTreeMapFs a0)

data LVTreeAlgebra a gta

Constructors

LVTreeAlgebra

Fields

nodeLV :: gta -> gta -> gta

leafLV :: a -> gta

Instances

GenericSemiringStructure (LVTreeAlgebra a0) (LVTree a0) (LVTreeMapFs a0)

data LVTreeMapFs a gta

Constructors

LVTreeMapFs

Fields

leafLVF :: a -> gta

Instances

GenericSemiringStructure (LVTreeAlgebra a0) (LVTree a0) (LVTreeMapFs a0)

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 n0 l0) (BinTree n0 l0) (BinTreeMapFs n0 l0)

data BinTreeAlgebra n l gta

Constructors

BinTreeAlgebra

Fields

binNode :: n -> gta -> gta -> gta

binLeaf :: l -> gta

Instances

GenericSemiringStructure (BinTreeAlgebra n0 l0) (BinTree n0 l0) (BinTreeMapFs n0 l0)

data BinTreeMapFs n l gta

Constructors

BinTreeMapFs

Fields

binNodeF :: n -> gta

binLeafF :: l -> gta

Instances

GenericSemiringStructure (BinTreeAlgebra n0 l0) (BinTree n0 l0) (BinTreeMapFs n0 l0)

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)))