fr.boreal.model.logicalElements.api.StoredFunctionalTerm Maven / Gradle / Ivy

Go to download

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

Main objects for integraal

The newest version!

package fr.boreal.model.logicalElements.api;

import java.util.List;

public interface StoredFunctionalTerm extends Variable {

	String getFuncSymbol();

	List getSubTerms();

	Term eval(Substitution s);

	@Override
	default boolean isStoredFunctionalTerm() {
		return true;
	}

}