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		:- module_info(group,smt_solvers).
9		:- module_info(description,'Shared Predicates used by several Modules belonging to the SMT Solvers Integration.').
10
11		:- use_module(library(lists), [prefix/2]).
12
13		is_smt_temp_var(b(identifier(Name),_,_)) :-
14		atom_codes(Name,Codes),
15		prefix(Codes,"_smt_tmp").