alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltlvisit/contain.cc: Do not mention tgba_explicit_number.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-08-05 17:03:21 +02:00
parent 7299fcda2c
commit 5dd731eab6
1 changed files with 4 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/ltlvisit/contain.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2009, 2010, 2011, 2012 Laboratoire de Recherche et // Copyright (C) 2009, 2010, 2011, 2012, 2014 Laboratoire de Recherche
// Développement de l'Epita (LRDE). // et Développement de l'Epita (LRDE).
// Copyright (C) 2006, 2007 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2006, 2007 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
@ -148,11 +148,8 @@ namespace spot
if (i != translated_.end()) if (i != translated_.end())
return &i->second; return &i->second;
const tgba_explicit_formula* e = auto e = ltl_to_tgba_fm(f, dict_, exprop_, symb_merge_,
ltl_to_tgba_fm(f, dict_, exprop_, symb_merge_, branching_postponement_, fair_loop_approx_);
branching_postponement_,
fair_loop_approx_);
record_& r = translated_[f->clone()]; record_& r = translated_[f->clone()];
r.translation = e; r.translation = e;
return &r; return &r;