MarabouUtils¶

Top contributors (to current version):

Christopher Lazarus
Shantanu Thakoor
Kyle Julian

This file is part of the Marabou project. Copyright (c) 2017-2019 by the authors listed in the file AUTHORS in the top-level source directory) and their institutional affiliations. All rights reserved. See the file COPYING in the top-level source directory for licensing information.

MarabouUtils contains supporting Maraboupy code that doesn’t fit in other files

class maraboupy.MarabouUtils.Equation(EquationType=EquationType.EQ)[source]¶

Bases: object

Python class to conveniently represent Equation

addendList[source]¶

Each addend tuple contains a coefficient and variable number

Type: list of tuples

scalar[source]¶

Scalar term for equation

Type: float

EquationType[source]¶

Equation type (EQ, LE, GE)

Type: EquationType

addAddend(c, x)[source]¶

Add an addend to the equation

Parameters

c (float) – coefficient of addend
x (int) – variable number of variable in addend

setScalar(x)[source]¶

Set scalar of equation

Parameters: x (float) – scalar RHS of equation