fr.boreal.component_builder.operations.ChaseRunOperationResult Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of integraal-component Show documentation

Components for the main functionalities of InteGraal

There is a newer version: 1.6.2

package fr.boreal.component_builder.operations;

import java.io.Serializable;

import fr.boreal.component_builder.api.IOperationResult;
import fr.boreal.forward_chaining.chase.Chase;

/**
 * records the size of the chase result
 * 
 * @param size
 */
public record ChaseRunOperationResult(long size) implements IOperationResult, Serializable {

	/**
	 * 
	 * records the size of the chase result
	 * 
	 * @param chase
	 */
	public ChaseRunOperationResult(Chase chase) {
		this(chase.getFactBase().size());
	}

	public String serializationString() {
		return "Factbase size after chase : " + size;
	}

}