Java FormulaFactory.numberOfGeneratedFormulasの例

コード例 #1

ファイル: SingleSuccedentSequentOnBitSet.java プロジェクト: ferram/jtabwb

 @SuppressWarnings("unchecked")
 public SingleSuccedentSequentOnBitSet(FormulaFactory factory) {
   leftSide = new BitSet(factory.numberOfGeneratedFormulas());
   leftFormulas = new LinkedList[FormulaType.values().length];
   rightSide = null;
 }