sage中的部分评估布尔公式

时间:2015-12-10 12:37:38

标签: boolean-logic sage

有没有办法以部分形式评估布尔公式。我提出这个问题是因为当我跑步时

import sage.logic.booleval as booleval    
t = ['&', 'a', 'b']
dd = {'b' : False}
print booleval.eval_formula(t, dd)

我得到KeyError:'a',当obvius t 为假时。

1 个答案:

答案 0 :(得分:0)

我认为没有。
如果您查看我的计算机上class TreinamentosFragment extends Fragment{ public onItemClick(Item item){ List fragments = getParentFragment().getChildFragmentManager().getFragments(); for(Fragment fragment : fragments ){ if(fragment instanceof TreinamentosFragment &&TreinamentosFragment.TIPO_CONCLUIDO .equalIgnoreCase(fragment.getArgments().getString(TreinamentosFragment.EXTRA_TIPO))){ (TreinamentosFragment )fragment.addItem(item); } } //or List fragmentA = getParentFragment().getChildFragmentManager().FindFragmentByTag("android:switcher:" + R.id.viewpager + ":1"); if(fragmentA instanceof TreinamentosFragment){ (TreinamentosFragment )fragmentA.addItem(item); } } public addItem(Item item){ } } 的源文件,您可以发现该sage首先将/usr/lib/python2.7/site-packages/sage/logic/booleval.py'a'转换为'b',因为它们不需要是。所以他们必须全部定义。