1		% (c) 2015 Lehrstuhl fuer Softwaretechnik und Programmiersprachen,
2		% Heinrich Heine Universitaet Duesseldorf
3		% This software is licenced under EPL 1.0 (http://www.eclipse.org/org/documents/epl-v10.html)
4
5		:- module(smt_common_predicates, [is_smt_temp_var/1]).
6
7		:- use_module(probsrc(module_information),[module_info/2]).
8
9		:- use_module(library(lists), [prefix/2]).
10
11		:- module_info(group,smt_solvers).
12		:- module_info(description,'Shared Predicates used by several Modules belonging to the SMT Solvers Integration.').
13
14		:- set_prolog_flag(double_quotes, codes).
15
16		is_smt_temp_var(b(identifier(Name),_,_)) :-
17		atom_codes(Name,Codes),
18		prefix(Codes,"_smt_tmp").