1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/** */ package ca.mcgill.ecse.dslreasoner.vampire.yakindumm; /** * <!-- begin-user-doc --> * A representation of the model object '<em><b>Pseudostate</b></em>'. * <!-- end-user-doc --> * * * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getPseudostate() * @model abstract="true" * @generated */ public interface Pseudostate extends Vertex { } // Pseudostate