sandmark.util
Class Misc

java.lang.Object
  |
  +--sandmark.util.Misc

public class Misc

extends java.lang.Object

The sandmark.util.Misc class holds utility methods that don't fit anywhere else.

Constructor Summary

Misc()

Method Summary

static void	abort(java.lang.String msg)
static void	exit(int val, java.lang.String msg)
static java.lang.String	int2String(int k)
static java.lang.String	joinArgs(java.lang.String[] arglist, int first, int len)
static void	main(java.lang.String[] args)
static java.lang.String	matrix2String(int[][] M)
static java.lang.String	row2String(int[] row)
static java.lang.String[]	splitArgs(java.lang.String argstring)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Misc

public Misc()

Method Detail

abort

public static void abort(java.lang.String msg)

exit

public static void exit(int val,
                        java.lang.String msg)

matrix2String

public static java.lang.String matrix2String(int[][] M)

row2String

public static java.lang.String row2String(int[] row)

int2String

public static java.lang.String int2String(int k)

joinArgs

public static java.lang.String joinArgs(java.lang.String[] arglist,
                                        int first,
                                        int len)

splitArgs

public static java.lang.String[] splitArgs(java.lang.String argstring)

main

public static void main(java.lang.String[] args)