package at.ac.tuwien.kr.alpha.api.common.fixedinterpretations;

/**
 * This interface is used to mark predicate interpretations that might generate
 * new bindings.
 */
@FunctionalInterface
public interface BindingPredicateInterpretation extends PredicateInterpretation {
}
