File mut_wptt_f_moves.h

FileList > mut-wptt_f_moves > src > mut_wptt_f_moves.h

Mutates a tree by one of the \(F\_i\) moves. More...

#include <mutator_defs.h>
#include <notation_wptt.h>
#include <stdbool.h>
#include <stdlib.h>

Classes

Type	Name
struct	mut_wptt_f_moves_config_t The type definition for configuring the module.

Public Types

Type	Name
enum	mut_f_moves_direction_e Type defining the direction to shift a weight in the \(F\_3\prime\) move.
typedef enum mut_f_moves_direction_e	mut_f_moves_direction_e Type defining the direction to shift a weight in the \(F\_3\prime\) move.
enum	mut_f_moves_e Type defining the moves available in the module.
typedef enum mut_f_moves_e	mut_f_moves_e Type defining the moves available in the module.
enum	mut_f_moves_eqclass_e Type defining the equivalence class to apply the \(F\_2\) to.
typedef enum mut_f_moves_eqclass_e	mut_f_moves_eqclass_e Type defining the equivalence class to apply the \(F\_2\) to.

Public Functions

Type	Name
uint8_t	mut_wptt_f_moves_config (mut_wptt_f_moves_config_t * config_arg) The public configuration function.
uint8_t	mut_wptt_f_moves_mutate () A public function, calling this executes the mutator on the configured data.

Macros

Type	Name
define	MUT_WPTT_F_MOVES_CONFIG_F1 `(0X1U << 3U)` Failed to configure the module due to F1 config issue.
define	MUT_WPTT_F_MOVES_CONFIG_F2 `(0X1U << 4U)` Failed to configure the module due to F2 config issue.
define	MUT_WPTT_F_MOVES_CONFIG_F3 `(0X1U << 5U)` Failed to configure the module due to F3 config issue.
define	MUT_WPTT_F_MOVES_CONFIG_IS_NULL `(0X1U << 2U)` Failed to configure the module due to a null config.
define	MUT_WPTT_F_MOVES_CONFIG_MOVE `(0X1U << 6U)` Failed to configure the module due to move config issue.
define	MUT_WPTT_F_MOVES_CONFIG_VERTEX `(0X1U << 1U)` Failed to configure the module due to issue with the object vertex.
define	MUT_WPTT_F_MOVES_MUTATE_ALREADY_COMPUTED `(0X1U << 2U)` Failed to run the module due to the config having been previously computed against.
define	MUT_WPTT_F_MOVES_MUTATE_CFG_ERROR `(0X1U << 1U)` Failed to run the module due to null config.
define	MUT_WPTT_F_MOVES_MUTATE_LABEL_ERROR `(0X1U << 7U)` Failed to run the module due to error in label computation.
define	MUT_WPTT_F_MOVES_MUTATE_MOVE_CFG `(0X1U << 3U)` Failed to run the module due to move configuration error.
define	MUT_WPTT_F_MOVES_MUTATE_MOVE_EQCLASS `(0X1U << 4U)` Failed to run the module due to eqclass configuration error.
define	MUT_WPTT_F_MOVES_MUTATE_MOVE_F3_ERROR `(0X1U << 5U)` Failed to run the module due to mutation \(F\_3\prime\) error.
define	MUT_WPTT_F_MOVES_MUTATE_MOVE_WALK_ERROR `(0X1U << 6U)` Failed to run the module due to error while walking the tree.

Detailed Description

Author:

Joe Starr

Public Types Documentation

enum mut_f_moves_direction_e

Type defining the direction to shift a weight in the \(F\_3\prime\) move.

enum mut_f_moves_direction_e {
    MUT_F_MOVES_DIR_UNINIT,
    MUT_F_MOVES_DIR_FWD,
    MUT_F_MOVES_DIR_BK
};

typedef mut_f_moves_direction_e

Type defining the direction to shift a weight in the \(F\_3\prime\) move.

typedef enum mut_f_moves_direction_e mut_f_moves_direction_e;

enum mut_f_moves_e

Type defining the moves available in the module.

enum mut_f_moves_e {
    MUT_F_MOVE_UNINIT,
    MUT_F_MOVE_F1,
    MUT_F_MOVE_F2,
    MUT_F_MOVE_F3
};

typedef mut_f_moves_e

Type defining the moves available in the module.

typedef enum mut_f_moves_e mut_f_moves_e;

enum mut_f_moves_eqclass_e

Type defining the equivalence class to apply the \(F\_2\) to.

enum mut_f_moves_eqclass_e {
    MUT_F_MOVES_EQCLASS_UNINIT,
    MUT_F_MOVES_EQCLASS_SELF,
    MUT_F_MOVES_EQCLASS_CHILD
};

typedef mut_f_moves_eqclass_e

Type defining the equivalence class to apply the \(F\_2\) to.

typedef enum mut_f_moves_eqclass_e mut_f_moves_eqclass_e;

Public Functions Documentation

function mut_wptt_f_moves_config

The public configuration function.

uint8_t mut_wptt_f_moves_config (
    mut_wptt_f_moves_config_t * config_arg
)

Parameters:

config_arg The config to set.

function mut_wptt_f_moves_mutate

A public function, calling this executes the mutator on the configured data.

uint8_t mut_wptt_f_moves_mutate ()

Returns:

uint8_t Mutation status info.

Macro Definition Documentation

define MUT_WPTT_F_MOVES_CONFIG_F1

Failed to configure the module due to F1 config issue.

#define MUT_WPTT_F_MOVES_CONFIG_F1 `(0X1U << 3U)`

define MUT_WPTT_F_MOVES_CONFIG_F2

Failed to configure the module due to F2 config issue.

#define MUT_WPTT_F_MOVES_CONFIG_F2 `(0X1U << 4U)`

define MUT_WPTT_F_MOVES_CONFIG_F3

Failed to configure the module due to F3 config issue.

#define MUT_WPTT_F_MOVES_CONFIG_F3 `(0X1U << 5U)`

define MUT_WPTT_F_MOVES_CONFIG_IS_NULL

Failed to configure the module due to a null config.

#define MUT_WPTT_F_MOVES_CONFIG_IS_NULL `(0X1U << 2U)`

define MUT_WPTT_F_MOVES_CONFIG_MOVE

Failed to configure the module due to move config issue.

#define MUT_WPTT_F_MOVES_CONFIG_MOVE `(0X1U << 6U)`

define MUT_WPTT_F_MOVES_CONFIG_VERTEX

Failed to configure the module due to issue with the object vertex.

#define MUT_WPTT_F_MOVES_CONFIG_VERTEX `(0X1U << 1U)`

define MUT_WPTT_F_MOVES_MUTATE_ALREADY_COMPUTED

Failed to run the module due to the config having been previously computed against.

#define MUT_WPTT_F_MOVES_MUTATE_ALREADY_COMPUTED `(0X1U << 2U)`

define MUT_WPTT_F_MOVES_MUTATE_CFG_ERROR

Failed to run the module due to null config.

#define MUT_WPTT_F_MOVES_MUTATE_CFG_ERROR `(0X1U << 1U)`

define MUT_WPTT_F_MOVES_MUTATE_LABEL_ERROR

Failed to run the module due to error in label computation.

#define MUT_WPTT_F_MOVES_MUTATE_LABEL_ERROR `(0X1U << 7U)`

define MUT_WPTT_F_MOVES_MUTATE_MOVE_CFG

Failed to run the module due to move configuration error.

#define MUT_WPTT_F_MOVES_MUTATE_MOVE_CFG `(0X1U << 3U)`

define MUT_WPTT_F_MOVES_MUTATE_MOVE_EQCLASS

Failed to run the module due to eqclass configuration error.

#define MUT_WPTT_F_MOVES_MUTATE_MOVE_EQCLASS `(0X1U << 4U)`

define MUT_WPTT_F_MOVES_MUTATE_MOVE_F3_ERROR

Failed to run the module due to mutation \(F\_3\prime\) error.

#define MUT_WPTT_F_MOVES_MUTATE_MOVE_F3_ERROR `(0X1U << 5U)`

define MUT_WPTT_F_MOVES_MUTATE_MOVE_WALK_ERROR

Failed to run the module due to error while walking the tree.

#define MUT_WPTT_F_MOVES_MUTATE_MOVE_WALK_ERROR `(0X1U << 6U)`

The documentation for this class was generated from the following file source/mut-wptt_f_moves/src/mut_wptt_f_moves.h