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--.CommunicationLinkOfElement.java._trace5550logstatsplainblame
-rw-r--r--.MultipleCommunicationLinks.java._trace3530logstatsplainblame
-rw-r--r--.gitignore995logstatsplainblame
-rw-r--r--CommunicationLinkDoesNotStartAtContainingElement.java27072logstatsplainblame
-rw-r--r--CommunicationLoop.java22494logstatsplainblame
-rw-r--r--CostMetric.java20704logstatsplainblame
-rw-r--r--CoverageMetric.java21424logstatsplainblame
-rw-r--r--CubeSatWithKaAntenna.java24737logstatsplainblame
-rw-r--r--IncompatibleSourceAndTargetBand.java26548logstatsplainblame
-rw-r--r--IncompatibleSourceAndTargetGain.java26408logstatsplainblame
-rw-r--r--KaAntennaGainLow.java24133logstatsplainblame
-rw-r--r--NoLinkToGroundStation.java25073logstatsplainblame
-rw-r--r--NoPotentialLinkToGroundStation.java25413logstatsplainblame
-rw-r--r--NotEnoughInterferometryPayloads.java23846logstatsplainblame
-rw-r--r--SatelliteQueries.java9340logstatsplainblame
-rw-r--r--SmallSat.java20160logstatsplainblame
-rw-r--r--SpacecraftOfKind.java33338logstatsplainblame
-rw-r--r--ThreeUCubeSatWithNonUhfCrossLink.java27359logstatsplainblame
-rw-r--r--TimeMetric.java20704logstatsplainblame
-rw-r--r--UhfAntennaGainNotLow.java24427logstatsplainblame
-rw-r--r--XAntennaGainNotMedium.java23750logstatsplainblame
d---------internal1473logstatsplain
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-18 12:35:12 +0000