diff options
| author | Adrian Kummerlaender | 2015-02-23 19:03:16 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-02-23 19:03:16 +0100 |
| commit | 0dde43edac6817c3f0a237d25c2054c0ee75926c (patch) | |
| tree | 037d04fd230f5aa613b6e8b3030e93973f5566b9 /example/turing/src/state.h | |
| parent | 41b63eff7f76e6574ef238f821dad0212a619c2a (diff) | |
| download | TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.gz TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.bz2 TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.lz TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.xz TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.zst TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.zip | |
Added binary incrementer state table to Turing machine example
* reintroduced `BLANK` as the _BLANK_ symbol
* fixed implicit tape expansion in `tape::readSymbol`
Diffstat (limited to 'example/turing/src/state.h')
| -rw-r--r-- | example/turing/src/state.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/example/turing/src/state.h b/example/turing/src/state.h index 51fe347..fa3306b 100644 --- a/example/turing/src/state.h +++ b/example/turing/src/state.h @@ -42,8 +42,8 @@ template < struct state_predicate { template <typename State> using function = tav::And< - tav::IsEqualValue<Id, tav::Nth<field::ID, State>>, - tav::IsEqualValue<Read, tav::Nth<field::READ, State>> + tav::IsEqual<Id, tav::Nth<field::ID, State>>, + tav::IsEqual<Read, tav::Nth<field::READ, State>> >; }; |