search

FelixResch / logex

Clone of private repository for logex
MIT License
0 stars 0 forks source link

readme

Logex Parser

Usage

Usage: logex [-dhsvz] [--suppress-ast] [<expression>]...
      [<expression>]...       The parts of the logical expression
      --suppress-ast          Don't print the AST
  -d, --debug                 Prints debug information
  -h, --help                  Prints this help message and exits
  -s, --silent                Only print the table
  -v, --version               Prints the version of the logex library and the
                                client implementation
  -z, --zeros-first           If the 0s should start at the bottom

Operators

Name Description Unicode Character Short Syntax Long Syntax
Not NOT A ¬ ! -not
And A AND B ∧ & -and
Nand ¬ (A ∧ B) ↓ !& -nand
Or A OR B ∨ | -or
Nor ¬ (A ∨ B) ↑ !| -nor
Xor A exclusive or B ⊗ -xor
Implication A implies B ⇒ =>, -> -im, -impl, -implies, -implication
Equivalence A equivalent B ⇔ = -eq, -equal, -equals

For CLI usage, the use of the Short Syntax is probably best, output of a logix expression is always in Unicode representation.

Build

To build this program you can either use the gradle distribution distributed with this service, or use your own gradel implementation.

If you want to use the packaged gradle distribution replace all occurences of gradle with ./gradlew (Linux/Unixoids) or gradlew.bat (Windows).

gradle generateArtifactInfoClass
gradle logex-cli:fatJar

You can then use the generated jar in logex-cli/build/libs/ to run logex.

java -jar [path-to-jar] [arguments]

To simply call logex you can create a script file in your path. For systems that use bash you can use a script like this to run logex directly from the command line. Please note that java needs to be on your path as well.

#!/usr/bin/env bash

java -jar (path-to-jar) "$@"

Roadmap

Attributions