Function LiteralOrFormula

parse/parse.go:697–713

LiteralOrFormula parses a single Term, an equality or inequality from a given string.

(s string)

// LiteralOrFormula parses a single Term, an equality or inequality from a given string.
func LiteralOrFormula(s string) (ast.Term, error) {
	p, err := newParser(s)
	if err != nil {
		return nil, err
	}
	defer p.reset()

	tree := p.parser.LiteralOrFml()
	if err := p.error(); err != nil {
		return nil, err
	}
	term := p.Visit(tree)
	if err := p.error(); err != nil {
		return nil, err
	}
	return term.(ast.Term), nil
}

// Term parses a Term from given string.
func Term(s string) (ast.Term, error) {