136
90%
master: 89%

Ran 06 Oct 2019 09:53PM UTC

Jobs 1

Files 0

Run time –

Badge

Embed ▾

pending completion

Build # 136

Build Type

push

travis-ci

Committed by

marcofavorito

Commit Message

split operators for propositional logic and ldlf formulas.

All the elementary operator like Not, And, Or, Implies
and Equivalence for the LDLf parser have been splitted in two.

In particular, if the operator is applied to a propositional formula,
then the strings to be used are (as usual):
- not: !
- and: &
- or: |
- implies: ->
- equivalence: <->

whereas, for LDLf formulas:
- not: !!
- and: &&
- or: ||
- implies: -->
- equivalence: <-->

that is, double the character of the operator.
This change is due to introduce the following abbreviation:

given P a propositional formula:

P -> <P>tt

However, this introduced several conflicts, mostly due to our use
of PLY. This is going to change in the near future.

Run Details

Jobs

ID	Job ID	Ran	Files	Coverage
3	136.3 (TOXENV=docs)	06 Oct 2019 09:53PM UTC	0		Travis Job 136.3

Source Files on build 136

Detailed source file information is not available for this build.

marcofavorito / flloat / 136
90%
master: 89%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 136

marcofavorito / flloat / 136 90% master: 89%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 136

marcofavorito / flloat / 136
90%
master: 89%

README BADGES
x