hseenc

A state encoder and conflict solver for HSE

Usage: hseenc [options] file...

General Options:

• -h,--help Display this information
• --version Display version information
• -v,--verbose Display verbose messages
• -d,--debug Display internal debugging messages

Conflict Checking:

• -c check for state conflicts that occur regardless of sense
• -cu check for state conflicts that occur due to up-going transitions
• -cd check for state conflicts that occur due to down-going transitions
• -s check for potential state conflicts that occur regardless of sense
• -su check for potential state conflicts that occur due to up-going transitions
• -sd check for potential state conflicts that occur due to down-going transitions

Interactive Environment

<arg> specifies a required argument (arg=value) specifies an optional argument with a default value

General:

• help, h print this message
• quit, q exit the interactive simulation environment
• load (filename) load an hse, default is to reload current file
• save (filename) save an hse, default is to overwrite current file

Viewing and Manipulating State:

• elaborate, e elaborate the predicates
• conflicts, c check for state conflicts that occur regardless of sense
• conflicts up, cu check for state conflicts that occur due to up-going transitions
• conflicts down, cd check for state conflicts that occur due to down-going transitions
• suspects, s check for potential state conflicts that occur regardless of sense
• suspects up, su check for potential state conflicts that occur due to up-going transitions
• suspects down, sd check for potential state conflicts that occur due to down-going transitions

Viewing and Manipulating Structure:

• print, p print the current hse
• insert <expr> insert the transition into the hse
• pinch <node> remove and merge its input and output nodes to maintain token flow

License

Licensed by Cornell University under GNU GPL v3.

Written by Ned Bingham. Copyright © 2020 Cornell University.

Haystack is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

Haystack is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

A copy of the GNU General Public License may be found in COPYRIGHT. Otherwise, see https://www.gnu.org/licenses/.