spot  2.7.1
contains.hh
1 // -*- coding: utf-8 -*-
2 // Copyright (C) 2018 Laboratoire de Recherche et Développement de
3 // l'Epita.
4 //
5 // This file is part of Spot, a model checking library.
6 //
7 // Spot is free software; you can redistribute it and/or modify it
8 // under the terms of the GNU General Public License as published by
9 // the Free Software Foundation; either version 3 of the License, or
10 // (at your option) any later version.
11 //
12 // Spot is distributed in the hope that it will be useful, but WITHOUT
13 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 // or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15 // License for more details.
16 //
17 // You should have received a copy of the GNU General Public License
18 // along with this program. If not, see <http://www.gnu.org/licenses/>.
19 
20 #pragma once
21 
22 #include <spot/twa/twagraph.hh>
23 #include <spot/tl/formula.hh>
24 
27 
28 namespace spot
29 {
42  SPOT_API bool contains(const_twa_graph_ptr left, const_twa_graph_ptr right);
43  SPOT_API bool contains(const_twa_graph_ptr left, formula right);
44  SPOT_API bool contains(formula left, const_twa_graph_ptr right);
45  SPOT_API bool contains(formula left, formula right);
47 
54  SPOT_API bool are_equivalent(const_twa_graph_ptr left,
55  const_twa_graph_ptr right);
56  SPOT_API bool are_equivalent(const_twa_graph_ptr left, formula right);
57  SPOT_API bool are_equivalent(formula left, const_twa_graph_ptr right);
58  SPOT_API bool are_equivalent(formula left, formula right);
60 }
Definition: automata.hh:26
LTL/PSL formula interface.
bool are_equivalent(formula left, formula right)
Test if the language of left is equivalent to that of right.
bool contains(formula left, formula right)
Test if the language of right is included in that of left.

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13