Class Modulo2SparseSystem.Modulo2Equation

java.lang.Object

it.unimi.dsi.sux4j.mph.solve.Modulo2SparseSystem.Modulo2Equation

Enclosing class:

Modulo2SparseSystem

public static class Modulo2SparseSystem.Modulo2Equation
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
int	c	The constant term.
final it.unimi.dsi.fastutil.ints.IntArrayList	variables	The variables.

Constructor Summary

Constructors

Modifier	Constructor	Description
	Modulo2Equation(int c)	Creates a new equation.
protected	Modulo2Equation(Modulo2SparseSystem.Modulo2Equation equation)

Method Summary

Modifier and Type	Method	Description
Modulo2SparseSystem.Modulo2Equation	add(int variable)
void	add(Modulo2SparseSystem.Modulo2Equation equation)	Adds the provided equation to this equation.
Modulo2SparseSystem.Modulo2Equation	copy()
void	eliminate(Modulo2SparseSystem.Modulo2Equation equation)
int	firstVar()
boolean	isIdentity()
boolean	isUnsolvable()
static long	scalarProduct(Modulo2SparseSystem.Modulo2Equation e, long[] solution)
String	toString()

Methods inherited from class Object

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

Field Details

variables

public final it.unimi.dsi.fastutil.ints.IntArrayList variables

The variables.

c

public int c

The constant term.

Constructor Details

Modulo2Equation

public Modulo2Equation(int c)

Creates a new equation.

Parameters:

c - the constant term.

Modulo2Equation

protected Modulo2Equation(Modulo2SparseSystem.Modulo2Equation equation)

Method Details

add

public Modulo2SparseSystem.Modulo2Equation add(int variable)

eliminate

public void eliminate(Modulo2SparseSystem.Modulo2Equation equation)

firstVar

public int firstVar()

add

public void add(Modulo2SparseSystem.Modulo2Equation equation)

Adds the provided equation to this equation.

Parameters:

equation - an equation.

isUnsolvable

public boolean isUnsolvable()

isIdentity

public boolean isIdentity()

copy

public Modulo2SparseSystem.Modulo2Equation copy()

toString

public String toString()

Overrides:

toString in class Object

scalarProduct

public static long scalarProduct(Modulo2SparseSystem.Modulo2Equation e,
 long[] solution)