Class AccessibilityRelation


  • public class AccessibilityRelation
    extends java.lang.Object
    This class models an accessibility relation for Kripke models.
    Author:
    Matthias Thimm, Anna Gessler