FeatureModelFactory

Abstract Value Members

abstract def create(expr: FeatureExpr): FeatureModel

create a feature model from a feature expression
abstract def createFromDimacsFile(file: Source, translateNames: (String) ⇒ String, autoAddVariables: Boolean = true): FeatureModel

load a standard Dimacs file as feature model.
load a standard Dimacs file as feature model. comments are used in format "c <ID> <NAME>" to describe a mapping from ids to feature names. Those feature names can be rewritten, eg to add a prefix with the translateNames parameter.
if autoAddVariables is activated all variables not defined by comments are loaded as "fresh" variables with generated names. Those should never be used in formulas but originate from the equisat transformation.
abstract def empty: FeatureModel

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def createFromDimacsFile(file: String): FeatureModel
def createFromDimacsFile(file: Source): FeatureModel

default implementation
default implementation
does prefix all loaded names with CONFIG_ by default
def createFromDimacsFilePrefix(file: String, prefix: String): FeatureModel
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def loadDimacsData(file: Source, translateNames: (String) ⇒ String, autoAddVariables: Boolean): (Map[String, Int], List[List[Int]], Int)

common part for loading dimacs files
common part for loading dimacs files
returns name to id mapping, list of clauses, and maximal id declared/found

Attributes
protected
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

trait FeatureModelFactory extends AnyRef

Abstract Value Members

abstract def create(expr: FeatureExpr): FeatureModel

abstract def createFromDimacsFile(file: Source, translateNames: (String) ⇒ String, autoAddVariables: Boolean = true): FeatureModel

abstract def empty: FeatureModel

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def createFromDimacsFile(file: String): FeatureModel

def createFromDimacsFile(file: Source): FeatureModel

def createFromDimacsFilePrefix(file: String, prefix: String): FeatureModel

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def loadDimacsData(file: Source, translateNames: (String) ⇒ String, autoAddVariables: Boolean): (Map[String, Int], List[List[Int]], Int)

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped