fr.boreal.model.logicalElements.api.ComputedAtom 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;

/**
 * A computed atom is an Atom with special meaning
 * 

 * This kind of atom must use a full substitution of its variables to be evaluated
 * 
 * @author Florent Tornil
 *
 */
public interface ComputedAtom extends Atom {

	/**
	 * Evaluate this atom
	 * @param s a full substitution of this atom variables
	 * @return an atom
	 */
	Atom eval(Substitution s);

}