package
0.4.0
Repository: https://github.com/booleworks/logicng-go.git
Documentation: pkg.go.dev

# Functions

BadFormulaSort returns an error for an unsupported formula sort.
BadInput returns an error for an unsupported input.
IllegalState returns an error for an illegal internal state.
UnknownEnumValue returns an error for an unknown enum value.
UnknownFormula returns an error for an unknown formula.

# Variables

formula type is not allowed here.
input is not allowed here.
an illegal internal state has been reached.
enum value is unknown.
formula is not known with this sort on the factory.