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--.gitignore1022logstatsplainblame
-rw-r--r--CommunicationLinkOfElement.java31972logstatsplainblame
-rw-r--r--CommunicationLoop.java22494logstatsplainblame
-rw-r--r--CubeSatWithKaAntenna.java24737logstatsplainblame
-rw-r--r--IncompatibleSourceAndTargetBand.java26548logstatsplainblame
-rw-r--r--IncompatibleSourceAndTargetGain.java26408logstatsplainblame
-rw-r--r--KaAntennaGainLow.java24133logstatsplainblame
-rw-r--r--MultipleCommunicationLinks.java25859logstatsplainblame
-rw-r--r--NoLinkToGroundStation.java25073logstatsplainblame
-rw-r--r--NoPotentialLinkToGroundStation.java25413logstatsplainblame
-rw-r--r--NotEnoughInterferometryPayloads.java23846logstatsplainblame
-rw-r--r--SatelliteQueries.java8548logstatsplainblame
-rw-r--r--SmallSat.java20160logstatsplainblame
-rw-r--r--SpacecraftOfKind.java33338logstatsplainblame
-rw-r--r--ThreeUCubeSatWithNonUhfCrossLink.java27359logstatsplainblame
-rw-r--r--UhfAntennaGainNotLow.java24427logstatsplainblame
-rw-r--r--XAntennaGainNotMedium.java23750logstatsplainblame
d---------internal838logstatsplain
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-27 07:21:59 +0000