我在字符串中有一个任意表达式.让我们说:y = 12*x + 34我将有x或y,我需要为另一个解决.muParser在解决给定x的第一个形式方面做得非常出色,但它和我发现的所有其他数学解析器都无法执行任何操作来将表达式转换为:x =(y-34)/ 12所以另一个可能是解决了,如果我有y而不是x.
有没有可以用来解决这个问题的GNU阻止的C/C++库吗?
假设我有以下表格
CREATE TABLE plugins (
id int primary key,
type text);
insert into plugins values (1,'matrix');
insert into plugins values (2,'matrix');
insert into plugins values (3,'function');
insert into plugins values (4,'function');
CREATE TABLE matrix_params (
id int primary key,
pluginid int references plugins (id)
);
Run Code Online (Sandbox Code Playgroud)
这一切都按预期工作,但我想添加一个额外的约束,即matrix_param只能引用类型为'matrix'的pluginid.所以
insert into matrix_params values (1,1);
Run Code Online (Sandbox Code Playgroud)
应该成功但是
insert into matrix_params values (2,3);
Run Code Online (Sandbox Code Playgroud)
应该失败.
matrix_params的简单约束不起作用,因为它无法知道插件表中相应类型是什么.