AI.MEP.Types

Core MEP data structures

Documentation

type Chromosome a = Vector (Gene a Int)

A chromosome is a vector of genes

data Gene a i where

Either a terminal symbol or a three-address code (a function and two pointers)

Constructors

C :: a -> Gene a i

Var :: Int -> Gene a i

Op :: F a -> i -> i -> Gene a i

Instances

(Eq a, Eq i) => Eq (Gene a i)

Eq instance for Gene

(Show a, Show i) => Show (Gene a i)

Show instance for Gene

type F a = (Char, a -> a -> a)

A function and its symbolic representation

type Population a = [Chromosome a]

List of chromosomes

type Generation a = [Phenotype a]

Evaluated population

type Phenotype a = (Double, Chromosome a, Vector Int)

Loss value, chromosome, and the best expression indices vector