Package it.unimi.dsi.sux4j.mph.solve

Class Modulo2SparseSystem.Modulo2Equation

java.lang.Object

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

Enclosing class:

Modulo2SparseSystem

public static class Modulo2SparseSystem.Modulo2Equation
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
int	c	The constant term.
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)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

variables

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

The variables.

c

public int c

The constant term.

Constructor Detail

Modulo2Equation

public Modulo2Equation(int c)

Creates a new equation.

Parameters:

c - the constant term.

Modulo2Equation

protected Modulo2Equation(Modulo2SparseSystem.Modulo2Equation equation)

Method Detail

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object

scalarProduct

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