Package jline.lang

Class FeatureSet

java.lang.Object

jline.lang.FeatureSet

All Implemented Interfaces:

Serializable

public class FeatureSet
extends Object
implements Serializable

Class representing the features of a particular solver

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
FeatureSet()

Method Summary

Modifier and Type	Method	Description
boolean	inspectFeature(String feature)	Checks whether the given feature is used or not in the current feature set
void	setFalse(String feature)
void	setFalse(String[] features)
void	setTrue(String feature)
void	setTrue(String[] features)
static boolean	supports(FeatureSet supported, FeatureSet used)	Checks if the used features are supported by the given solver

Methods inherited from class java.lang.Object

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

Constructor Details

FeatureSet

public FeatureSet()

Method Details

supports

public static boolean supports(FeatureSet supported,
 FeatureSet used)

Checks if the used features are supported by the given solver

Parameters:

supported - - the features supported by the solver

used - - the used features

Returns:

- true if the used features are supported, false otherwise

setTrue

public void setTrue(String feature)

setFalse

public void setFalse(String feature)

setTrue

public void setTrue(String[] features)

setFalse

public void setFalse(String[] features)

inspectFeature

public boolean inspectFeature(String feature)

Checks whether the given feature is used or not in the current feature set

Parameters:

feature - - the name of the given feature

Returns:

- true if the given feature is used, false otherwise