Sign upLogin

Verites/verigraph

View on GitHub
Star
src/library/Logic/Ctl/Semantics.hs

Summary

Maintainability
Test Coverage

Use .
Open

                              (Temporal$E$G$ Not q))
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

Temporal $ E $ G $ Not q

Perhaps

Temporal . E $ (G $ Not q)

Use .
Open

  satisfyExpr' model (Not$ Temporal$E$X$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

Temporal $ E $ X $ Not p

Perhaps

(Temporal . E $ (X $ Not p))

Use .
Open

  satisfyExpr' model (Not$ Temporal$E$F$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

Not $ Temporal $ E $ F $ Not p

Perhaps

Not . Temporal $ (E $ F $ Not p)

Use .
Open

  satisfyExpr' model (Not$ Or (Temporal$E$U (Not q) (Not p `And` Not q))
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

Temporal $ E $ U (Not q) (Not p `And` Not q)

Perhaps

Temporal . E $ U (Not q) (Not p `And` Not q)

Use .
Open

  satisfyExpr' model (Not$ Temporal$E$X$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

E $ X $ Not p

Perhaps

(E . X $ Not p)

Use .
Open

                              (Temporal$E$G$ Not q))
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

E $ G $ Not q

Perhaps

(E . G $ Not q)

Use .
Open

  satisfyExpr' model (Not$ Temporal$E$F$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

Temporal $ E $ F $ Not p

Perhaps

(Temporal . E $ (F $ Not p))

Use .
Open

  satisfyExpr' model (Not$ Temporal$E$X$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

Not $ Temporal $ E $ X $ Not p

Perhaps

Not . Temporal $ (E $ X $ Not p)

Use .
Open

  satisfyExpr' model (Not$ Temporal$E$F$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

E $ F $ Not p

Perhaps

(E . F $ Not p)

Use .
Open

  satisfyExpr' model (Not$ Temporal$A$F$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

Not $ Temporal $ A $ F $ Not p

Perhaps

Not . Temporal $ (A $ F $ Not p)

Use .
Open

  satisfyExpr' model (Not$ Temporal$A$F$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

A $ F $ Not p

Perhaps

(A . F $ Not p)

Use .
Open

  satisfyExpr' model (Not$ Temporal$A$F$ Not p)
Severity: Minor
Found in src/library/Logic/Ctl/Semantics.hs by hlint

Found

Temporal $ A $ F $ Not p

Perhaps

(Temporal . A $ (F $ Not p))

There are no issues that match your filters.

Category
Status