/**
 * PDDL Graph Planner
 * Zeyn Saigol <zeyn@zeyn.net>
 * School of Computer Science
 * University of Birmingham
 *
 * $Id: NumericExpr.java 25 2007-02-13 16:08:52Z zas $
 */
package uk.ac.bham.cs.zas.pddl.domain;

/**
 * Corresponds to fExp in PDDL - a function-based expression.
 */
public interface NumericExpr extends LiteralOperation
{
    public int evaluate(ConsistentLiteralSet literals);
}
