joshua/hybrid-ads
1
Fork 0
mirror of https://github.com/Jaxan/hybrid-ads.git synced 2025-04-27 06:57:44 +02:00
Code Issues Releases Activity

The good fix (I hope), and removes an attribute

Browse source
This commit is contained in:
Joshua Moerman 2015-05-22 15:58:01 +02:00
parent 00ad4445f3
commit 3063e30fec
2 changed files with 5 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/test_suite.hpp
View file

@ -17,7 +17,7 @@ void test(mealy const & specification, transfer_sequences const & prefixes,
separating_family const & separating_family, size_t k_max, writer const & output);
/// \brief Performs random non-exhaustive tests for more states (harmonized, e.g. HSI / DS)
[[noreturn]] void randomized_test(mealy const & specification, transfer_sequences const & prefixes,
void randomized_test(mealy const & specification, transfer_sequences const & prefixes,
separating_family const & separating_family, size_t min_k,
size_t rnd_length, writer const & output);

12
lib/types.hpp
View file

@ -1,16 +1,12 @@
#pragma once
#include <stddef.h> // for size_t
#include <cstdint>
#include <vector>
#ifndef __APPLE__
using uint16_t = __int16;
#endif
// We use size_ts for fast indexing. Note that there is little type safety here
using state = uint16_t;
using input = uint16_t;
using output = uint16_t;
using state = std::uint16_t;
using input = std::uint16_t;
using output = std::uint16_t;
using word = std::vector<input>;