/** */ package hu.bme.mit.inf.dslreasoner.smtLanguage; /** * * A representation of the model object 'SMT Div'. * * * * @see hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage#getSMTDiv() * @model * @generated */ public interface SMTDiv extends SMTIntOperation { } // SMTDiv