package at.ac.tuwien.kr.alpha.api.programs.rules.heads;

/**
 * Deprecated - A disjunctive head (see ASP Core 2 Standard). Should be removed since disjunction is not actually supported by Alpha.
 * 
 * Copyright (c) 2021, the Alpha Team.
 */
@Deprecated
public interface DisjunctiveHead extends Head {

}
