scalation
API
Generated with
scalation/scalation/scalation.database/scalation.database.logic

scalation.database.logic

package scalation.database.logic

Members list

Type members

Classlikes

final class sATsolverTest

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

type BoolVec = IndexedSeq[Boolean]

Value members

Concrete methods

def powerset(n: Int): IndexedSeq[BoolVec]

Return the power set for an sequence of n Boolean variables.

Return the power set for an sequence of n Boolean variables.

Value parameters

n

the number of variables

Attributes

def sATsolverTest(): Unit

The sATsolverTest main function is used to test the powerSet and satSolver functions.

The sATsolverTest main function is used to test the powerSet and satSolver functions.

runMain scalation.database.logic.sATsolverTest

Attributes

def satSolver(f: BoolVec => Boolean, n: Int): Boolean

Determine whether the propositional logic formula f of n Boolean variables is satisfiable. Satisfiability: exists x such that f(x) is true.

Determine whether the propositional logic formula f of n Boolean variables is satisfiable. Satisfiability: exists x such that f(x) is true.

Value parameters

f

the formula

n

the number of variables

Attributes

def toBoolVec(k: Int, n: Int): BoolVec

Convert the integer k into a Boolean sequence of size n.

Convert the integer k into a Boolean sequence of size n.

Value parameters

k

the integer to convert to a Boolean sequence

n

the number of variables

Attributes

Generated with