1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/** */ package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>Forall</b></em>'. * <!-- end-user-doc --> * * * @see hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage#getForall() * @model * @generated */ public interface Forall extends QuantifiedExpression { } // Forall