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--.gitignore841logstatsplainblame
-rw-r--r--CommunicationLinkDoesNotStartAtContainingElement.java27177logstatsplainblame
-rw-r--r--CommunicationLoop.java22599logstatsplainblame
-rw-r--r--CostMetric.java20704logstatsplainblame
-rw-r--r--CoverageMetric.java21424logstatsplainblame
-rw-r--r--CubeSatWithKaAntenna.java24851logstatsplainblame
-rw-r--r--IncompatibleSourceAndTargetBand.java26653logstatsplainblame
-rw-r--r--IncompatibleSourceAndTargetGain.java26513logstatsplainblame
-rw-r--r--KaAntennaGainLow.java24238logstatsplainblame
-rw-r--r--NoLinkToGroundStation.java25178logstatsplainblame
-rw-r--r--NotEnoughInterferometryPayloads.java23298logstatsplainblame
-rw-r--r--SatelliteQueries.java8071logstatsplainblame
-rw-r--r--ThreeUCubeSatWithNonUhfCrossLink.java28814logstatsplainblame
-rw-r--r--TimeMetric.java20704logstatsplainblame
-rw-r--r--UhfAntennaGainNotLow.java24532logstatsplainblame
-rw-r--r--XAntennaGainNotMedium.java23855logstatsplainblame
d---------internal1377logstatsplain
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-21 04:36:44 +0000