export operator.
This commit is contained in:
parent
c58e9f4562
commit
abec8208d3
@ -9,14 +9,13 @@
|
|||||||
clpbn_run_solver/3,
|
clpbn_run_solver/3,
|
||||||
clpbn_init_solver/5,
|
clpbn_init_solver/5,
|
||||||
clpbn_run_solver/4,
|
clpbn_run_solver/4,
|
||||||
clpbn_init_graph/1]).
|
clpbn_init_graph/1,
|
||||||
|
op( 500, xfy, with)]).
|
||||||
|
|
||||||
:- use_module(library(atts)).
|
:- use_module(library(atts)).
|
||||||
:- use_module(library(lists)).
|
:- use_module(library(lists)).
|
||||||
:- use_module(library(terms)).
|
:- use_module(library(terms)).
|
||||||
|
|
||||||
:- op( 500, xfy, with).
|
|
||||||
|
|
||||||
%
|
%
|
||||||
% avoid the overhead of using goal_expansion/2.
|
% avoid the overhead of using goal_expansion/2.
|
||||||
%
|
%
|
||||||
|
Reference in New Issue
Block a user