Package cdc.applic.factorization

Class FactorizationFeatures

java.lang.Object

cdc.applic.factorization.FactorizationFeatures

public class FactorizationFeatures
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	FactorizationFeatures.Builder
static enum	FactorizationFeatures.Hint

Field Summary

Fields

Modifier and Type	Field	Description
static final FactorizationFeatures	SIMPLIFY_CHECK_SHORT_NARROW
static final FactorizationFeatures	SIMPLIFY_NO_CHECK_SHORT_NARROW

Constructor Summary

Constructors

Constructor	Description
FactorizationFeatures(Set<FactorizationFeatures.Hint> hints, Formatting formatting)

Method Summary

Modifier and Type	Method	Description
static FactorizationFeatures.Builder	builder()
boolean	equals(Object object)
Formatting	getFormatting()
Set<FactorizationFeatures.Hint>	getHints()
int	hashCode()
boolean	isEnabled(FactorizationFeatures.Hint hint)	Returns true if a FactorizationFeatures.Hint is enabled.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

SIMPLIFY_CHECK_SHORT_NARROW

public static final FactorizationFeatures SIMPLIFY_CHECK_SHORT_NARROW

SIMPLIFY_NO_CHECK_SHORT_NARROW

public static final FactorizationFeatures SIMPLIFY_NO_CHECK_SHORT_NARROW

Constructor Details

FactorizationFeatures

FactorizationFeatures(Set<FactorizationFeatures.Hint> hints,
 Formatting formatting)

Method Details

getHints

public Set<FactorizationFeatures.Hint> getHints()

isEnabled

public boolean isEnabled(FactorizationFeatures.Hint hint)

Returns true if a FactorizationFeatures.Hint is enabled.

Parameters:

hint - The hint.

Returns:

true if hint is enabled.

getFormatting

public Formatting getFormatting()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object object)

Overrides:

equals in class Object

builder

public static FactorizationFeatures.Builder builder()

toString

public String toString()

Overrides:

toString in class Object