Package org.variantsync.diffdetective.util.fide

Class FixTrueFalse.Formula

java.lang.Object

org.variantsync.diffdetective.util.fide.FixTrueFalse.Formula

Enclosing class:

FixTrueFalse

public static class FixTrueFalse.Formula
extends Object

This class is a witness that a formula had its true and false constants eliminated or is just such a constant (and nothing else except from perhaps negations).

Field Summary

Fields

Modifier and Type	Field	Description
private final org.prop4j.Node	formula

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Formula(org.prop4j.Node f)

Method Summary

Modifier and Type	Method	Description
static FixTrueFalse.Formula	and(FixTrueFalse.Formula... formulas)
org.prop4j.Node	get()
static org.prop4j.Node[]	gets(FixTrueFalse.Formula[] formulas)
boolean	isFalseConstant()
boolean	isTrueConstant()
FixTrueFalse.Formula	mapUnsafe(Function<org.prop4j.Node,org.prop4j.Node> f)	Runs the given function on this formula and assumes that the given function does not introduce the constants "true" or "false".
static FixTrueFalse.Formula	not(FixTrueFalse.Formula formula)
static FixTrueFalse.Formula	or(FixTrueFalse.Formula... formulas)
static FixTrueFalse.Formula	var(String name)

Methods inherited from class java.lang.Object

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

Field Details

formula

private final org.prop4j.Node formula

Constructor Details

Formula

private Formula(org.prop4j.Node f)

Method Details

get

public org.prop4j.Node get()

gets

public static org.prop4j.Node[] gets(FixTrueFalse.Formula[] formulas)

mapUnsafe

public FixTrueFalse.Formula mapUnsafe(Function<org.prop4j.Node,org.prop4j.Node> f)

Runs the given function on this formula and assumes that the given function does not introduce the constants "true" or "false". This method is side-effect free: The transformed formula will be returned but this object remains unaltered. Warning: Use at your own risk! Introducing constants here can lead to wrong SAT results.

Parameters:

f - The function to apply to this formula.

Returns:

The converted formula.

var

public static FixTrueFalse.Formula var(String name)

not

public static FixTrueFalse.Formula not(FixTrueFalse.Formula formula)

and

public static FixTrueFalse.Formula and(FixTrueFalse.Formula... formulas)

or

public static FixTrueFalse.Formula or(FixTrueFalse.Formula... formulas)

isTrueConstant

public boolean isTrueConstant()

See Also:

• FixTrueFalse.isTrue(Node)

isFalseConstant

public boolean isFalseConstant()

See Also:

• FixTrueFalse.isFalse(Node)