aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/src-gen/hu/bme/mit/inf/dslreasoner/domains/satellite/queries
ModeNameSize
-rw-r--r--.gitignore940logstatsplainblame
-rw-r--r--CommunicationLinkDoesNotStartAtContainingElement.java27177logstatsplainblame
-rw-r--r--CommunicationLoop.java22599logstatsplainblame
-rw-r--r--CubeSatWithKaAntenna.java24842logstatsplainblame
-rw-r--r--IncompatibleSourceAndTargetBand.java26653logstatsplainblame
-rw-r--r--IncompatibleSourceAndTargetGain.java26513logstatsplainblame
-rw-r--r--KaAntennaGainLow.java24238logstatsplainblame
-rw-r--r--NoLinkToGroundStation.java25178logstatsplainblame
-rw-r--r--NoPotentialLinkToGroundStation.java25518logstatsplainblame
-rw-r--r--NotEnoughInterferometryPayloads.java23951logstatsplainblame
-rw-r--r--SatelliteQueries.java8251logstatsplainblame
-rw-r--r--SmallSat.java21035logstatsplainblame
-rw-r--r--SpacecraftOfKind.java33548logstatsplainblame
-rw-r--r--ThreeUCubeSatWithNonUhfCrossLink.java27464logstatsplainblame
-rw-r--r--UhfAntennaGainNotLow.java24532logstatsplainblame
-rw-r--r--XAntennaGainNotMedium.java23855logstatsplainblame
d---------internal838logstatsplain
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-27 09:50:01 +0000