main.io.github.moonlightsuite.moonlight.domain.PairSemiring Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of moonlight-engine Show documentation

MoonLight is a light-weight Java-tool for monitoring temporal, spatial and spatio-temporal properties of distributed complex systems, such as Cyber-Physical Systems and Collective Adaptive Systems.

The newest version!

/*
 * MoonLight: a light-weight framework for runtime monitoring
 * Copyright (C) 2018-2021
 *
 * See the NOTICE file distributed with this work for additional information
 * regarding copyright ownership.
 *
 * 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 io.github.moonlightsuite.moonlight.domain;

import io.github.moonlightsuite.moonlight.core.base.Semiring;
import io.github.moonlightsuite.moonlight.core.base.Pair;

/**
 * TODO: this class seems not to be used
 * @author loreti
 */
public class PairSemiring implements Semiring> {

	private final Semiring firstSemiring;
	private final Semiring secondSemiring;
	private final Pair min;
	private final Pair max;

	public PairSemiring( Semiring firstSemiring, Semiring secondSemiring) {
		this.firstSemiring = firstSemiring;
		this.secondSemiring = secondSemiring;
		this.min = new Pair<>(firstSemiring.min(),secondSemiring.min());
		this.max = new Pair<>(firstSemiring.max(),secondSemiring.max());
	}

	@Override
	public Pair conjunction(Pair x, Pair y) {
		return new Pair<>(
			firstSemiring.conjunction(x.getFirst(), y.getFirst()),
			secondSemiring.conjunction(x.getSecond(), y.getSecond())
		);
	}

	@Override
	public Pair disjunction(Pair x, Pair y) {
		return new Pair<>(
				firstSemiring.disjunction(x.getFirst(), y.getFirst()),
				secondSemiring.disjunction(x.getSecond(), y.getSecond())
			);
	}

	@Override
	public Pair min() {
		return this.min;
	}

	@Override
	public Pair max() {
		return this.max;
	}

}