Lines Matching refs:Type
206 most_type(Type),
207 infers3(Goal,Vars,Type,Prior,Cond,Module).
213 infers2(Goal,Vars,Type,Prior,Cond,Module) :-
214 infers3(Goal,Vars,Type,Prior,Cond,Module).
217 infers3(Goal,Vars,Type,Prior,Cond,Module) :-
219 suspend( myinfers(Goal,most(Vars),GlobVar,Type,Module,Susp),
224 get_msg_for_goal(Goal,most(Vars),GlobVar,Type,Module,Susp).
227 most_type(Type) :-
229 ( foreach(Solver,KnownSolvers), fromto(Type,Type1,Type2,[]) do
244 myinfers(Goal, Most,GlobVar, Type, Module,Susp) :-
251 get_msg_for_goal(Goal,Most,GlobVar,Type,Module,Susp)
256 get_msg_for_goal(Goal,most(Vars),GlobVar,Type,Module,Susp) :-
258 init_domains(CopyGoal, CopyVars, GlobVar, Type, Module),
260 propia_answer(Vars,Type,GlobVar,Susp) ;
261 extend(CopyGoal,CopyVars,Vars,NewVars,GlobVar,Type,Module) ->
262 propia_answer(Vars,Type,GlobVar,Susp),
265 propia_answer(Vars,Type,GlobVar,Susp)
280 % for the approximation language Type].
282 init_domains(Goal,Vars,GlobVar,Type,Module) :-
285 newmsg(Vars,Vars,Type,NewVars,Module),
290 propia_call(Goal,Vars,GlobVar,Type,Module) :-
293 newmsg(Vars,OldVars,Type,NewVars,Module),
311 extend(Goal,Vars,OrigVars,FinalVars,GlobVar,Type,Module) :-
313 propia_call(Goal,Vars,GlobVar,Type,Module),
337 % The generalisation of two terms, T1 and T2 and a type Type is made
343 newmsg(T1,T2,Type,T3,Module) :-
344 msgList(T1,T2,T3,Type,[],_,Module).
347 msgList([V1|V1T],[V2|V2T],[MSGV|MSGT],Type,Map,OutMap,Module) :-
348 msg(V1,V2,MSGV,Type,Map,NewMap,Module),
349 msgList(V1T,V2T,MSGT,Type,NewMap,OutMap,Module).
351 msg(T1,T2,T3,Type,Map,OutMap,Module) :-
354 msgList(Args1,Args2,Args3,Type,Map,OutMap,Module),
358 msg(V1,V2,MSGV,Type,Map,[map(V1,V2,MSGV)|Map],Module) :-
359 Type:msg(V1,V2,MSGV)@Module.
373 propia_answer(Vars,Type,GlobVar,Susp) :-
374 ( propia_ans(Vars,Type),
383 propia_ans([Var],Type) :-
384 member(Solver, Type),