SSL java_connection.pvs
Interaktion und PortierbarkeitPVS
java_connection[D,H,caD,caH,caTime: posreal] : THEORY BEGIN IMPORTING vertical, vertical_los, space_3D, repulsive, horizontal_los_criterion
s,v,vo,vi,nvo: VAR Vect3
minrelvs : VAR posreal
epsh, epsv : VAR Sign
verticalCoordination(s,v) : Sign = IF vertical_los?[H](s`z) AND horizontal_los?[D](s) THEN
vertical_los[D,H,caD,caH,caTime].verticalCoordinationLoS(s,v) ELSE
space_3D[D,H].verticalCoordinationConflict(s,v) ENDIF
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.