struct Gambit::Utils::type_equivalency #

Structure providing type equivalency classes to the dep resolver.

#include <type_equivalency.hpp>

Public Functions #

Public Attributes #

Public Functions Documentation #

function add #

void add(
    str t1,
    str t2
)

Define a new equivalency relation {@

function add #

void add(
    str t1,
    str t2,
    str t3
)

function add #

void add(
    str t1,
    str t2,
    str t3,
    str t4
)

function add #

void add(
    str t1,
    str t2,
    str t3,
    str t4,
    str t5
)

function add #

void add(
    str t1,
    str t2,
    str t3,
    str t4,
    str t5,
    str t6
)

function add #

void add(
    std::vector< str > v
)

function type_equivalency #

type_equivalency()

Constructor.

Constructor for type_equivalency.

Public Attributes Documentation #

variable equivalency_classes #

std::set< std::set< str > > equivalency_classes;

}@ The total set of equivalency classes

Updated on 2023-06-26 at 21:36:53 +0000