1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/** */ package org.eclipse.viatra.solver.language.solverLanguage; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>Assertion</b></em>'. * <!-- end-user-doc --> * * * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getAssertion() * @model * @generated */ public interface Assertion extends AbstractAssertion { } // Assertion