org.leialearns.logic.utilities

Class DescriptionLength

java.lang.Object

org.leialearns.logic.utilities.DescriptionLength

public class DescriptionLength
extends Object

Provides static functions to calculate the description length of a BigInteger. See HasDescriptionLength for more information on the importance of description lengths in the context of LEIA.

Method Summary

Methods

Modifier and Type	Method and Description
static long	descriptionLength(BigInteger n) Returns the length of the bit-sequence that is represented by the prefix-free encoding of the given number.
static BigInteger	prefixDecode(Reader reader)
static String	prefixEncode(BigInteger n) Returns an ascii form of the prefix-free encoding of the given number.
static String	toBinary(BigInteger n) Returns an ascii form of the binary representation of the given big integer.

Methods inherited from class java.lang.Object

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

Method Detail

toBinary

public static String toBinary(BigInteger n)

Returns an ascii form of the binary representation of the given big integer. This form uses the capitals 'O' and 'I' to distinguish them from the numeric digits that are used in composite representations of prefix-free codes.

Parameters:

n - The number to represent

Returns:

The string of binary digits

prefixEncode

public static String prefixEncode(BigInteger n)

Returns an ascii form of the prefix-free encoding of the given number. No prefix-free encoding is a prefix of the prefix-free encoding of another number. The actual bit sequence consisting of the capitals 'O' and 'I' is enriched with digits and symbols to enhance the readability of the code.

Parameters:

n - The number to represent

Returns:

The prefix-free code for the given number

prefixDecode

public static BigInteger prefixDecode(Reader reader)

descriptionLength

public static long descriptionLength(BigInteger n)

Returns the length of the bit-sequence that is represented by the prefix-free encoding of the given number.

Parameters:

n - The number to evaluate

Returns:

The description length of the number