diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/logical/MultiMetaLogical.java b/reactor/Core/src/jetbrains/mps/logic/reactor/logical/MultiMetaLogical.java deleted file mode 100644 index a6ecd003..00000000 --- a/reactor/Core/src/jetbrains/mps/logic/reactor/logical/MultiMetaLogical.java +++ /dev/null @@ -1,59 +0,0 @@ -/* - * Copyright 2014-2019 JetBrains s.r.o. - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. - */ - -package jetbrains.mps.logic.reactor.logical; - - -import java.util.ArrayList; -import java.util.List; - -/** - * A declaration of a logical variable with index. - * - * @param the value type - * - * @author Fedor Isakov - */ -public class MultiMetaLogical extends MetaLogical { - - private int cardinality; - private List> metaLogicals = new ArrayList>(); - - public MultiMetaLogical(String name, Class type, int cardinality) { - super(name, type); - this.cardinality = cardinality; - init(); - } - - public int cardinality() { - return cardinality; - } - - public MetaLogical logicalAt(int idx) { - return metaLogicals.get(idx); - } - - public MetaLogical[] toArray() { - MetaLogical[] array = new MetaLogical[cardinality]; - return metaLogicals.toArray(array); - } - - private void init() { - for (int i = 0; i < cardinality; i++) { - metaLogicals.add(new MetaLogical(name() + "_" + (i + 1), type())); - } - } -}