/// <summary>
/// Generate minterms for the constraints
/// </summary>
public IEnumerable <Tuple <bool[], Automaton <S> > > GenerateMinterms(params Automaton <S>[] constraints)
{
return(mtg.GenerateMinterms(constraints));
}
public IEnumerable <Pair <bool[], UIntW> > GenerateMinterms(params UIntW[] constraints)
{
return(mtg.GenerateMinterms(constraints));
}
/// <summary>
/// Generate minterms for the constraints.
/// </summary>
public IEnumerable <Pair <bool[], Pair <S, T> > > GenerateMinterms(params Pair <S, T>[] constraints)
{
return(mintermgenerator.GenerateMinterms(constraints));
}
public IEnumerable<Tuple<bool[], HashSet<Tuple<char, char>>>> GenerateMinterms(HashSet<Tuple<char, char>>[] constraints)
{
return mtg.GenerateMinterms(constraints);
}
public IEnumerable <Pair <bool[], IMonadicPredicate <T, S> > > GenerateMinterms(params IMonadicPredicate <T, S>[] constraints)
{
return(mintermGenerator.GenerateMinterms(constraints));
}
public IEnumerable <Tuple <bool[], BDD> > GenerateMinterms(params BDD[] sets)
{
return(mintermGen.GenerateMinterms(sets));
}
public IEnumerable <Pair <bool[], BV128> > GenerateMinterms(params BV128[] constraints)
{
return(mtg.GenerateMinterms(constraints));
}