Graph function ( ) { throw new UnsupportedOperationException ( ) ; }
this invariant is not used during refinement or coarsening , so ltl has been left undefined concode_field_sep List<EventType> tail concode_elem_sep Set<EventType> following concode_elem_sep String relations concode_elem_sep Map<List<EventType>,KTailInvariant> tails concode_field_sep List<EventType> getTailEvents concode_elem_sep String getRegex concode_elem_sep List<EventType> getFollowEvents concode_elem_sep List<T> shorten concode_elem_sep String getShortName concode_elem_sep String toString concode_elem_sep String getRelation concode_elem_sep Set<EventType> getPredicates concode_elem_sep String getLTLString concode_elem_sep String getLongName