Package dev.roanh.cpqindex
Class Main
java.lang.Object
dev.roanh.cpqindex.Main
Main class and CLI interface for the index.
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
Small testing subroutine to find random CPQ cores.private static void
handleInput
(org.apache.commons.cli.CommandLine cli) Handles the input arguments.static final void
Loads the compiled JNI libraries required for nauty.static void
Main subroutine, parses CLI options.
-
Field Details
-
VERSION
The current version of the index software.- See Also:
-
DISCORD_WEBHOOK
If set this Discord webhook can be used as a logging target.- See Also:
-
options
public static final org.apache.commons.cli.Options optionsThe command line options.
-
-
Constructor Details
-
Main
public Main()
-
-
Method Details
-
main
Main subroutine, parses CLI options.- Parameters:
args
- The passed CLI options.
-
handleInput
private static void handleInput(org.apache.commons.cli.CommandLine cli) Handles the input arguments.- Parameters:
cli
- The command line arguments.
-
findRandomCore
public static void findRandomCore()Small testing subroutine to find random CPQ cores. -
loadNatives
Loads the compiled JNI libraries required for nauty.- Throws:
IOException
- When an IOException occurs.UnsatisfiedLinkError
- When loading a native library fails.
-