Unapproved Changes Since API Freeze


org.eclipse.compare(3.5.400)
ADDEDorg.eclipse.compare.ICompareFilter

org.eclipse.cvs(1.4.0)
CHANGEDThe minor version has been changed (from 1.2.0 to 1.4.0)

org.eclipse.e4.core.services(1.1.0)
REMOVEDorg.eclipse.e4.core.services.translation.TranslationProviderFactory.org.eclipse.e4.core.services.translation.TranslationProviderFactory
REMOVEDorg.eclipse.e4.core.services.translation.TranslationService.org.eclipse.e4.core.services.translation.TranslationService

org.eclipse.e4.ui.di(1.0.0)
CHANGEDThe major version has been changed (from 0.11.0 to 1.0.0)
ADDEDorg.eclipse.e4.ui.di.AboutToHide
ADDEDorg.eclipse.e4.ui.di.AboutToShow
ADDEDorg.eclipse.e4.ui.di.Focus
ADDEDorg.eclipse.e4.ui.di.Persist
ADDEDorg.eclipse.e4.ui.di.PersistState
ADDEDorg.eclipse.e4.ui.di.UIEventTopic
ADDEDorg.eclipse.e4.ui.di.UISynchronize

org.eclipse.e4.ui.model.workbench(1.0.0)
ADDEDorg.eclipse.e4.ui.model.application.MAddon
ADDEDorg.eclipse.e4.ui.model.application.MApplication
ADDEDorg.eclipse.e4.ui.model.application.MApplicationElement
ADDEDorg.eclipse.e4.ui.model.application.MApplicationFactory
ADDEDorg.eclipse.e4.ui.model.application.MContribution
ADDEDorg.eclipse.e4.ui.model.application.commands.MBindingContext
ADDEDorg.eclipse.e4.ui.model.application.commands.MBindingTable
ADDEDorg.eclipse.e4.ui.model.application.commands.MBindingTableContainer
ADDEDorg.eclipse.e4.ui.model.application.commands.MBindings
ADDEDorg.eclipse.e4.ui.model.application.commands.MCategory
ADDEDorg.eclipse.e4.ui.model.application.commands.MCommand
ADDEDorg.eclipse.e4.ui.model.application.commands.MCommandParameter
ADDEDorg.eclipse.e4.ui.model.application.commands.MCommandsFactory
ADDEDorg.eclipse.e4.ui.model.application.commands.MHandler
ADDEDorg.eclipse.e4.ui.model.application.commands.MHandlerContainer
ADDEDorg.eclipse.e4.ui.model.application.commands.MKeyBinding
ADDEDorg.eclipse.e4.ui.model.application.commands.MKeySequence
ADDEDorg.eclipse.e4.ui.model.application.commands.MParameter
ADDEDorg.eclipse.e4.ui.model.application.descriptor.basic.MBasicFactory
ADDEDorg.eclipse.e4.ui.model.application.descriptor.basic.MPartDescriptor
ADDEDorg.eclipse.e4.ui.model.application.descriptor.basic.MPartDescriptorContainer
ADDEDorg.eclipse.e4.ui.model.application.ui.MContext
ADDEDorg.eclipse.e4.ui.model.application.ui.MCoreExpression
ADDEDorg.eclipse.e4.ui.model.application.ui.MDirtyable
ADDEDorg.eclipse.e4.ui.model.application.ui.MElementContainer
ADDEDorg.eclipse.e4.ui.model.application.ui.MExpression
ADDEDorg.eclipse.e4.ui.model.application.ui.MGenericStack
ADDEDorg.eclipse.e4.ui.model.application.ui.MGenericTile
ADDEDorg.eclipse.e4.ui.model.application.ui.MGenericTrimContainer
ADDEDorg.eclipse.e4.ui.model.application.ui.MInput
ADDEDorg.eclipse.e4.ui.model.application.ui.MSnippetContainer
ADDEDorg.eclipse.e4.ui.model.application.ui.MUIElement
ADDEDorg.eclipse.e4.ui.model.application.ui.MUILabel
ADDEDorg.eclipse.e4.ui.model.application.ui.MUiFactory
ADDEDorg.eclipse.e4.ui.model.application.ui.SideValue
ADDEDorg.eclipse.e4.ui.model.application.ui.advanced.MAdvancedFactory
ADDEDorg.eclipse.e4.ui.model.application.ui.advanced.MArea
ADDEDorg.eclipse.e4.ui.model.application.ui.advanced.MPerspective
ADDEDorg.eclipse.e4.ui.model.application.ui.advanced.MPerspectiveStack
ADDEDorg.eclipse.e4.ui.model.application.ui.advanced.MPlaceholder
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MBasicFactory
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MInputPart
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MPart
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MPartSashContainer
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MPartSashContainerElement
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MPartStack
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MStackElement
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MTrimBar
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MTrimElement
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MTrimmedWindow
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MWindow
ADDEDorg.eclipse.e4.ui.model.application.ui.basic.MWindowElement
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.ItemType
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MDirectMenuItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MDirectToolItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MDynamicMenuContribution
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MHandledItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MHandledMenuItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MHandledToolItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MMenu
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MMenuContribution
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MMenuContributions
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MMenuElement
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MMenuFactory
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MMenuItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MMenuSeparator
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MOpaqueMenu
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MOpaqueMenuItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MOpaqueMenuSeparator
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MOpaqueToolItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MPopupMenu
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MRenderedMenu
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MRenderedMenuItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MRenderedToolBar
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MToolBar
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MToolBarContribution
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MToolBarContributions
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MToolBarElement
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MToolBarSeparator
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MToolControl
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MToolItem
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MTrimContribution
ADDEDorg.eclipse.e4.ui.model.application.ui.menu.MTrimContributions
ADDEDorg.eclipse.e4.ui.model.fragment.MFragmentFactory
ADDEDorg.eclipse.e4.ui.model.fragment.MModelFragment
ADDEDorg.eclipse.e4.ui.model.fragment.MModelFragments
ADDEDorg.eclipse.e4.ui.model.fragment.MStringModelFragment

org.eclipse.e4.ui.services(1.0.0)
ADDEDorg.eclipse.e4.ui.services.ContextServiceAddon
ADDEDorg.eclipse.e4.ui.services.EContextService
ADDEDorg.eclipse.e4.ui.services.IServiceConstants
ADDEDorg.eclipse.e4.ui.services.IStylingEngine

org.eclipse.e4.ui.widgets(1.0.0)
CHANGEDThe major version has been changed (from 0.12.100 to 1.0.0)
REMOVEDorg.eclipse.e4.ui.widgets.ImageBasedFrame.org.eclipse.e4.ui.widgets.ImageBasedFrame

org.eclipse.e4.ui.workbench(1.0.0)
CHANGEDThe major version has been changed (from 0.12.0 to 1.0.0)
ADDEDorg.eclipse.e4.ui.workbench.IExceptionHandler
ADDEDorg.eclipse.e4.ui.workbench.IModelResourceHandler
ADDEDorg.eclipse.e4.ui.workbench.IPresentationEngine
ADDEDorg.eclipse.e4.ui.workbench.IResourceUtilities
ADDEDorg.eclipse.e4.ui.workbench.IWorkbench
ADDEDorg.eclipse.e4.ui.workbench.UIEvents
ADDEDorg.eclipse.e4.ui.workbench.modeling.EModelService
ADDEDorg.eclipse.e4.ui.workbench.modeling.EObjModelHandler
ADDEDorg.eclipse.e4.ui.workbench.modeling.EPartService
ADDEDorg.eclipse.e4.ui.workbench.modeling.EPlaceholderResolver
ADDEDorg.eclipse.e4.ui.workbench.modeling.ESelectionService
ADDEDorg.eclipse.e4.ui.workbench.modeling.IDelta
ADDEDorg.eclipse.e4.ui.workbench.modeling.IModelReconcilingService
ADDEDorg.eclipse.e4.ui.workbench.modeling.IPartListener
ADDEDorg.eclipse.e4.ui.workbench.modeling.ISaveHandler
ADDEDorg.eclipse.e4.ui.workbench.modeling.ISelectionListener
ADDEDorg.eclipse.e4.ui.workbench.modeling.IWindowCloseHandler
ADDEDorg.eclipse.e4.ui.workbench.modeling.ModelDelta
ADDEDorg.eclipse.e4.ui.workbench.modeling.ModelHandlerBase
ADDEDorg.eclipse.e4.ui.workbench.modeling.ModelReconciler
ADDEDorg.eclipse.e4.ui.workbench.modeling.ModelService

org.eclipse.e4.ui.workbench.addons.swt(1.0.0)
CHANGEDThe major version has been changed (from 0.11.0 to 1.0.0)
REMOVEDorg.eclipse.e4.ui.workbench.addons.cleanupaddon.CleanupAddon.org.eclipse.e4.ui.workbench.addons.cleanupaddon.CleanupAddon
REMOVEDorg.eclipse.e4.ui.workbench.addons.dndaddon.DetachedDropAgent.org.eclipse.e4.ui.workbench.addons.dndaddon.DetachedDropAgent
REMOVEDorg.eclipse.e4.ui.workbench.addons.dndaddon.DnDAddon.org.eclipse.e4.ui.workbench.addons.dndaddon.DnDAddon
REMOVEDorg.eclipse.e4.ui.workbench.addons.dndaddon.IBFDragAgent.org.eclipse.e4.ui.workbench.addons.dndaddon.IBFDragAgent
REMOVEDorg.eclipse.e4.ui.workbench.addons.dndaddon.PartDragAgent.org.eclipse.e4.ui.workbench.addons.dndaddon.PartDragAgent
REMOVEDorg.eclipse.e4.ui.workbench.addons.dndaddon.SplitDropAgent.org.eclipse.e4.ui.workbench.addons.dndaddon.SplitDropAgent
REMOVEDorg.eclipse.e4.ui.workbench.addons.dndaddon.SplitFeedbackOverlay.org.eclipse.e4.ui.workbench.addons.dndaddon.SplitFeedbackOverlay
REMOVEDorg.eclipse.e4.ui.workbench.addons.dndaddon.StackDropAgent.org.eclipse.e4.ui.workbench.addons.dndaddon.StackDropAgent
REMOVEDorg.eclipse.e4.ui.workbench.addons.dndaddon.TrimDropAgent.org.eclipse.e4.ui.workbench.addons.dndaddon.TrimDropAgent
REMOVEDorg.eclipse.e4.ui.workbench.addons.minmax.Messages.org.eclipse.e4.ui.workbench.addons.minmax.Messages
REMOVEDorg.eclipse.e4.ui.workbench.addons.minmax.MinMaxAddon.org.eclipse.e4.ui.workbench.addons.minmax.MinMaxAddon
REMOVEDorg.eclipse.e4.ui.workbench.addons.minmax.TrimPaneLayout.org.eclipse.e4.ui.workbench.addons.minmax.TrimPaneLayout
REMOVEDorg.eclipse.e4.ui.workbench.addons.minmax.TrimStack.org.eclipse.e4.ui.workbench.addons.minmax.TrimStack
REMOVEDorg.eclipse.e4.ui.workbench.addons.swt.CleanupProcessor.org.eclipse.e4.ui.workbench.addons.swt.CleanupProcessor
REMOVEDorg.eclipse.e4.ui.workbench.addons.swt.DnDProcessor.org.eclipse.e4.ui.workbench.addons.swt.DnDProcessor
REMOVEDorg.eclipse.e4.ui.workbench.addons.swt.MinMaxProcessor.org.eclipse.e4.ui.workbench.addons.swt.MinMaxProcessor

org.eclipse.emf.common(2.9.0)
ADDEDorg.eclipse.emf.common.util.SegmentSequence$SegmentSequencePool$StringAccessUnit#charactersAccessUnit
ADDEDorg.eclipse.emf.common.util.SegmentSequence$SegmentSequencePool$StringAccessUnit#String internString(char[], int, int, int)
ADDEDorg.eclipse.emf.common.util.SegmentSequence$StringArrayPool$AccessUnitBase#String internString(String)
ADDEDorg.eclipse.emf.common.util.SegmentSequence$StringArrayPool$AccessUnitBase#String internString(String, int, int, int)
ADDEDorg.eclipse.emf.common.util.SegmentSequence$StringArrayPool$AccessUnitBase#stringAccessUnit
ADDEDorg.eclipse.emf.common.util.SegmentSequence$StringArrayPool$AccessUnitBase#substringAccessUnit
ADDEDorg.eclipse.emf.common.util.URI#PLATFORM_SEGMENT_RESERVED_HI
ADDEDorg.eclipse.emf.common.util.URI#PLATFORM_SEGMENT_RESERVED_LO
ADDEDorg.eclipse.emf.common.util.URI#void cacheString(String)
ADDEDorg.eclipse.emf.common.util.URI#void flushCachedString()
ADDEDorg.eclipse.emf.common.util.URI#String getCachedString()
REMOVEDorg.eclipse.emf.common.util.URI#int matches(String, int)
REMOVEDorg.eclipse.emf.common.util.URI#toString
ADDEDorg.eclipse.emf.common.util.URI$URIPool$StringAccessUnit#String[] internArray(int, String[], int, String, int, int, int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$StringAccessUnit#String[] internArray(String, int, int, int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$StringAccessUnit#void setValue(String, int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$StringAccessUnit#stringArraySegmentsAndSubsegmentAccessUnit
ADDEDorg.eclipse.emf.common.util.URI$URIPool$StringAccessUnit#stringArraySubstringAccessUnit
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIComponentsAccessUnit#String[] internArray(String[], int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#charactersAccessUnit
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#String intern(String)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#String intern(String, int, int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#String intern(String, int, int, int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#String intern(boolean, String)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#String intern(char[], int, int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#String intern(char[], int, int, int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#String[] internArray(String[], int, int, int)
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#stringAccessUnit
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#stringArraySegmentsAndSegmentCountAccessUnit
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#stringPoolEntry
ADDEDorg.eclipse.emf.common.util.URI$URIPool$URIPoolAccessUnitBase#substringAccessUnit

org.eclipse.emf.ecore(2.9.0)
ADDEDorg.eclipse.emf.ecore.impl.EFactoryImpl#BinaryResourceImpl.DataConverter<?> create(EDataType)
ADDEDorg.eclipse.emf.ecore.resource.URIConverter#OPTION_TIMEOUT
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl.DataConverter
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl#OPTION_EAGER_PROXY_RESOLUTION
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl#OPTION_INTERNAL_BUFFER_CAPACITY
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl#OPTION_STYLE_DATA_CONVERTER
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl#BinaryResourceImpl.EObjectInputStream createEObjectInputStream(InputStream, Map<?,?>)
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl#BinaryResourceImpl.EObjectOutputStream createEObjectOutputStream(OutputStream, Map<?,?>)
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl#int getInternalBufferCapacity(Map<?,?>)
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$BinaryIO#STYLE_DATA_CONVERTER
REMOVEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectInputStream#eClassDataList
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectInputStream#void flush()
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectInputStream#isEagerProxyResolution
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectInputStream#String readSegmentedString()
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectInputStream$EStructuralFeatureData#dataConverter
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectOutputStream#void flush()
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectOutputStream#void saveFeatureValue(InternalEObject, Object, int, BinaryResourceImpl.EObjectOutputStream.EStructuralFeatureData)
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectOutputStream#void writeSegmentedString(String)
ADDEDorg.eclipse.emf.ecore.resource.impl.BinaryResourceImpl$EObjectOutputStream$EStructuralFeatureData#dataConverter
ADDEDorg.eclipse.emf.ecore.resource.impl.URIHandlerImpl#int getTimeout(Map<?,?>)
ADDEDorg.eclipse.emf.ecore.util.Diagnostician#boolean doValidate(EValidator, EClass, EObject, DiagnosticChain, Map<Object,Object>)
ADDEDorg.eclipse.emf.ecore.util.Diagnostician#boolean doValidate(EValidator, EDataType, Object, DiagnosticChain, Map<Object,Object>)

org.eclipse.emf.ecore.change(2.9.0)
CHANGEDThe minor version has been changed (from 2.8.0 to 2.9.0)

org.eclipse.emf.ecore.xmi(2.9.0)
ADDEDorg.eclipse.emf.ecore.xmi.impl.XMLResourceImpl#BinaryResourceImpl.EObjectInputStream createEObjectInputStream(InputStream, Map<?,?>, XMLResource.URIHandler)
ADDEDorg.eclipse.emf.ecore.xmi.impl.XMLResourceImpl#BinaryResourceImpl.EObjectOutputStream createEObjectOutputStream(OutputStream, Map<?,?>, BinaryResourceImpl.BinaryIO.Version, XMLResource.URIHandler)

org.eclipse.equinox.p2.metadata(2.2.0)
CHANGEDThe minor version has been changed (from 2.1.100 to 2.2.0)
ADDEDorg.eclipse.equinox.p2.metadata.MetadataFactory$InstallableUnitDescription#PROP_TYPE_PRODUCT
ADDEDorg.eclipse.equinox.p2.query.QueryUtil#IQuery<IInstallableUnit> createIUProductQuery()
ADDEDorg.eclipse.equinox.p2.query.QueryUtil#boolean isProduct(IInstallableUnit)

org.eclipse.equinox.p2.operations(2.3.0)
CHANGEDThe minor version has been changed (from 2.2.100 to 2.3.0)
REMOVEDorg.eclipse.equinox.p2.operations.RelaxedUpdateInstallOperation
ADDEDorg.eclipse.equinox.p2.operations.RemediationOperation
ADDEDorg.eclipse.equinox.p2.operations.Remedy
ADDEDorg.eclipse.equinox.p2.operations.RemedyConfig
ADDEDorg.eclipse.equinox.p2.operations.RemedyIUDetail

org.eclipse.equinox.p2.ui(2.3.0)
REMOVEDorg.eclipse.equinox.p2.ui.ProvisioningUI#RelaxedUpdateInstallOperation getRelaxedUpdateOperation(ProvisioningContext)
ADDEDorg.eclipse.equinox.p2.ui.ProvisioningUI#int openInstallWizard(Collection<IInstallableUnit>, InstallOperation, RemediationOperation, LoadMetadataRepositoryJob)
ADDEDorg.eclipse.equinox.p2.ui.ProvisioningUI#int openUpdateWizard(boolean, UpdateOperation, RemediationOperation, LoadMetadataRepositoryJob)

org.eclipse.equinox.security(1.2.0)
CHANGEDThe minor version has been changed (from 1.1.100 to 1.2.0)

org.eclipse.jdt.ui(3.9.0)
ADDEDorg.eclipse.jdt.ui.text.IJavaColorConstants#PREFIX

org.eclipse.jetty.server(8.1.10)
ADDEDorg.eclipse.jetty.server.AsyncContinuation#boolean isContinuation()
ADDEDorg.eclipse.jetty.server.AsyncContinuation#void startAsync()
ADDEDorg.eclipse.jetty.server.AsyncContinuation#void startAsync(ServletContext, ServletRequest, ServletResponse)
REMOVEDorg.eclipse.jetty.server.AsyncContinuation#void suspend(ServletContext, ServletRequest, ServletResponse)
ADDEDorg.eclipse.jetty.server.session.AbstractSession#void setLastAccessedTime(long)
ADDEDorg.eclipse.jetty.server.session.AbstractSessionIdManager#_reseed
ADDEDorg.eclipse.jetty.server.session.AbstractSessionIdManager#long getReseed()
ADDEDorg.eclipse.jetty.server.session.AbstractSessionIdManager#void setReseed(long)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager#void deleteSession(JDBCSessionManager.Session)
REMOVEDorg.eclipse.jetty.server.session.JDBCSessionManager#void deleteSession(JDBCSessionManager.SessionData)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager#JDBCSessionManager.Session loadSession(String, String, String)
REMOVEDorg.eclipse.jetty.server.session.JDBCSessionManager#JDBCSessionManager.SessionData loadSession(String, String, String)
REMOVEDorg.eclipse.jetty.server.session.JDBCSessionManager.org.eclipse.jetty.server.session.JDBCSessionManager$SessionData
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager#void storeSession(JDBCSessionManager.Session)
REMOVEDorg.eclipse.jetty.server.session.JDBCSessionManager#void storeSession(JDBCSessionManager.SessionData)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager#void updateSession(JDBCSessionManager.Session)
REMOVEDorg.eclipse.jetty.server.session.JDBCSessionManager#void updateSession(JDBCSessionManager.SessionData)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager#void updateSessionNode(JDBCSessionManager.Session)
REMOVEDorg.eclipse.jetty.server.session.JDBCSessionManager#void updateSessionNode(JDBCSessionManager.SessionData)
REMOVEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#Session(JDBCSessionManager, long, JDBCSessionManager.SessionData)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#Session(JDBCSessionManager, String, String, long, long)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#String getCanonicalContext()
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#long getCookieSet()
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#long getExpiryTime()
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#String getLastNode()
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#long getLastSaved()
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#String getRowId()
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#String getVirtualHost()
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#void setCanonicalContext(String)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#void setCookieSet(long)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#void setExpiryTime(long)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#void setLastNode(String)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#void setLastSaved(long)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#void setRowId(String)
ADDEDorg.eclipse.jetty.server.session.JDBCSessionManager$Session#void setVirtualHost(String)

org.eclipse.jetty.servlet(8.1.10)
ADDEDorg.eclipse.jetty.servlet.JspPropertyGroupServlet

org.eclipse.jetty.util(8.1.10)
ADDEDorg.eclipse.jetty.util.Utf8Appendable#LOG
ADDEDorg.eclipse.jetty.util.Utf8Appendable#void checkState()
ADDEDorg.eclipse.jetty.util.Utf8Appendable#String toReplacedString()

org.eclipse.swt(3.102.0)
ADDEDorg.eclipse.swt.accessibility.AccessibleAttributeEvent#groupCount
ADDEDorg.eclipse.swt.accessibility.AccessibleAttributeEvent#groupIndex
ADDEDorg.eclipse.swt.accessibility.AccessibleAttributeEvent#groupLevel

org.eclipse.swt.win32.win32.x86(3.102.0)
ADDEDorg.eclipse.swt.accessibility.AccessibleAttributeEvent#groupCount
ADDEDorg.eclipse.swt.accessibility.AccessibleAttributeEvent#groupIndex
ADDEDorg.eclipse.swt.accessibility.AccessibleAttributeEvent#groupLevel

org.sat4j.core(2.3.5)
REMOVEDorg.sat4j.AbstractLauncher#ANSWER_PREFIX
REMOVEDorg.sat4j.AbstractLauncher#SOLUTION_PREFIX
ADDEDorg.sat4j.AbstractLauncher#prime
ADDEDorg.sat4j.AbstractLauncher#problem
ADDEDorg.sat4j.AbstractLauncher#void setDisplaySolutionLine(boolean)
ADDEDorg.sat4j.AbstractLauncher#void setIncomplete(boolean)
ADDEDorg.sat4j.AbstractLauncher#void setLauncherMode(ILauncherMode)
ADDEDorg.sat4j.AbstractLauncher#void showAvailableSolvers<T::Lorg.sat4j.specs.ISolver;>(ASolverFactory<T>, String)
ADDEDorg.sat4j.ILauncherMode
ADDEDorg.sat4j.core.ConstrGroup
ADDEDorg.sat4j.core.ReadOnlyVecInt#VecInt[] subset(int)
ADDEDorg.sat4j.core.VecInt#IVecInt[] subset(int)
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<MixedDataStructureDanielWL> newBackjumping()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<MixedDataStructureDanielWL> newBackjumping()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newBest17()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newBest17()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newBestHT()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newBestHT()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newBestSingleWL()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newDefaultAutoErasePhaseSaving()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newDefaultAutoErasePhaseSaving()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newDefaultMS21PhaseSaving()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newDefaultMS21PhaseSaving()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newGlucose21()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newGreedySolver()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newGreedySolver()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newMiniLearningHeapEZSimp()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newMiniLearningHeapEZSimp()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newMiniLearningHeapEZSimpLongRestarts()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newMiniLearningHeapEZSimpLongRestarts()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newMiniLearningHeapEZSimpNoRestarts()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newMiniLearningHeapEZSimpNoRestarts()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newMiniLearningHeapRsatExpSimpLuby()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newMiniLearningHeapRsatExpSimpLuby()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newMiniLearningPure()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newMiniSATHeapEZSimp()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newMiniSATHeapEZSimp()
ADDEDorg.sat4j.minisat.SolverFactory#ICDCL<DataStructureFactory> newMiniSATHeapExpSimp()
REMOVEDorg.sat4j.minisat.SolverFactory#Solver<DataStructureFactory> newMiniSATHeapExpSimp()
ADDEDorg.sat4j.minisat.SolverFactory#ISolver newParallel()
ADDEDorg.sat4j.minisat.SolverFactory#Solver newSAT()
ADDEDorg.sat4j.minisat.SolverFactory#ISolver newSATUNSAT()
ADDEDorg.sat4j.minisat.SolverFactory#ISolver newStatistics()
ADDEDorg.sat4j.minisat.SolverFactory#Solver newUNSAT()
ADDEDorg.sat4j.minisat.constraints.AbstractDataStructureFactory#Constr createUnregisteredCardinalityConstraint(IVecInt, int)
REMOVEDorg.sat4j.minisat.constraints.AbstractDataStructureFactory#void setUnitPropagationListener(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.AbstractDataStructureFactory#void setUnitPropagationListener(UnitPropagationListener)
REMOVEDorg.sat4j.minisat.constraints.card.AtLeast#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#void assertConstraintIfNeeded(UnitPropagationListener)
REMOVEDorg.sat4j.minisat.constraints.card.AtLeast#Constr atLeastNew(UnitPropagationListener, ILits, IVecInt, int)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#Constr atLeastNew(UnitPropagationListener, ILits, IVecInt, int)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.minisat.constraints.card.AtLeast#int niceParameters(UnitPropagationListener, ILits, IVecInt, int)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#int niceParameters(UnitPropagationListener, ILits, IVecInt, int)
REMOVEDorg.sat4j.minisat.constraints.card.AtLeast#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.minisat.constraints.card.AtLeast#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#void setActivity(double)
ADDEDorg.sat4j.minisat.constraints.card.AtLeast#Constr toConstraint()
REMOVEDorg.sat4j.minisat.constraints.card.MaxWatchCard#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.minisat.constraints.card.MaxWatchCard#Constr maxWatchCardNew(UnitPropagationListener, ILits, IVecInt, boolean, int)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#Constr maxWatchCardNew(UnitPropagationListener, ILits, IVecInt, boolean, int)
REMOVEDorg.sat4j.minisat.constraints.card.MaxWatchCard#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.minisat.constraints.card.MaxWatchCard#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#void setActivity(double)
ADDEDorg.sat4j.minisat.constraints.card.MaxWatchCard#Constr toConstraint()
REMOVEDorg.sat4j.minisat.constraints.card.MinWatchCard#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.minisat.constraints.card.MinWatchCard#MinWatchCard computePropagation(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#MinWatchCard computePropagation(UnitPropagationListener)
REMOVEDorg.sat4j.minisat.constraints.card.MinWatchCard#Constr minWatchCardNew(UnitPropagationListener, ILits, IVecInt, boolean, int)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#Constr minWatchCardNew(UnitPropagationListener, ILits, IVecInt, boolean, int)
REMOVEDorg.sat4j.minisat.constraints.card.MinWatchCard#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.minisat.constraints.card.MinWatchCard#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#void setActivity(double)
ADDEDorg.sat4j.minisat.constraints.card.MinWatchCard#Constr toConstraint()
REMOVEDorg.sat4j.minisat.constraints.cnf.BinaryClause#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.BinaryClause#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.BinaryClause#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.BinaryClause#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.BinaryClause#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.minisat.constraints.cnf.BinaryClause#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.constraints.cnf.BinaryClause#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.minisat.constraints.cnf.BinaryClause#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.BinaryClause#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.BinaryClause#Constr toConstraint()
REMOVEDorg.sat4j.minisat.constraints.cnf.Clauses#IVecInt sanityCheck(IVecInt, ILits, UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.Clauses#IVecInt sanityCheck(IVecInt, ILits, UnitPropagationListener)
REMOVEDorg.sat4j.minisat.constraints.cnf.HTClause#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.HTClause#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.HTClause#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.HTClause#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.HTClause#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.minisat.constraints.cnf.HTClause#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.constraints.cnf.HTClause#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.minisat.constraints.cnf.HTClause#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.HTClause#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.HTClause#Constr toConstraint()
ADDEDorg.sat4j.minisat.constraints.cnf.LearntBinaryClause#void setActivity(double)
ADDEDorg.sat4j.minisat.constraints.cnf.LearntHTClause#void setActivity(double)
ADDEDorg.sat4j.minisat.constraints.cnf.Lits#void forgets(int)
REMOVEDorg.sat4j.minisat.constraints.cnf.OriginalBinaryClause#OriginalBinaryClause brandNewClause(UnitPropagationListener, ILits, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.OriginalBinaryClause#OriginalBinaryClause brandNewClause(UnitPropagationListener, ILits, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.OriginalBinaryClause#void setActivity(double)
REMOVEDorg.sat4j.minisat.constraints.cnf.OriginalHTClause#OriginalHTClause brandNewClause(UnitPropagationListener, ILits, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.OriginalHTClause#OriginalHTClause brandNewClause(UnitPropagationListener, ILits, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.OriginalHTClause#void setActivity(double)
REMOVEDorg.sat4j.minisat.constraints.cnf.OriginalWLClause#OriginalWLClause brandNewClause(UnitPropagationListener, ILits, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.OriginalWLClause#OriginalWLClause brandNewClause(UnitPropagationListener, ILits, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClause#activity
REMOVEDorg.sat4j.minisat.constraints.cnf.UnitClause#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClause#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClause#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClause#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClause#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.minisat.constraints.cnf.UnitClause#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClause#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.minisat.constraints.cnf.UnitClause#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClause#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClause#void setActivity(double)
REMOVEDorg.sat4j.minisat.constraints.cnf.UnitClauses#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClauses#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClauses#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClauses#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClauses#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.minisat.constraints.cnf.UnitClauses#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClauses#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.minisat.constraints.cnf.UnitClauses#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClauses#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.UnitClauses#void setActivity(double)
REMOVEDorg.sat4j.minisat.constraints.cnf.WLClause#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.WLClause#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.WLClause#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.WLClause#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.minisat.constraints.cnf.WLClause#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.minisat.constraints.cnf.WLClause#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.constraints.cnf.WLClause#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.minisat.constraints.cnf.WLClause#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.WLClause#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.constraints.cnf.WLClause#void setActivity(double)
ADDEDorg.sat4j.minisat.constraints.cnf.WLClause#Constr toConstraint()
ADDEDorg.sat4j.minisat.core.ActivityComparator
ADDEDorg.sat4j.minisat.core.CircularBuffer
ADDEDorg.sat4j.minisat.core.ConflictTimer
ADDEDorg.sat4j.minisat.core.ConflictTimerAdapter
ADDEDorg.sat4j.minisat.core.ConflictTimerContainer
REMOVEDorg.sat4j.minisat.core.Constr#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.core.Constr#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.minisat.core.Constr#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.minisat.core.Constr#void calcReasonOnTheFly(int, IVecInt, IVecInt)
REMOVEDorg.sat4j.minisat.core.Constr#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.core.Constr#void remove(UnitPropagationListener)
ADDEDorg.sat4j.minisat.core.Constr#void setActivity(double)
ADDEDorg.sat4j.minisat.core.Counter#Counter(int)
ADDEDorg.sat4j.minisat.core.Counter#int getValue()
ADDEDorg.sat4j.minisat.core.DataStructureFactory#Constr createUnregisteredCardinalityConstraint(IVecInt, int)
REMOVEDorg.sat4j.minisat.core.DataStructureFactory#void setUnitPropagationListener(UnitPropagationListener)
ADDEDorg.sat4j.minisat.core.DataStructureFactory#void setUnitPropagationListener(UnitPropagationListener)
ADDEDorg.sat4j.minisat.core.Heap#int get(int)
ADDEDorg.sat4j.minisat.core.Heap#int size()
ADDEDorg.sat4j.minisat.core.ICDCL
ADDEDorg.sat4j.minisat.core.ILits#void forgets(int)
REMOVEDorg.sat4j.minisat.core.ILits#int not(int)
ADDEDorg.sat4j.minisat.core.IOrder#double[] getVariableHeuristics()
ADDEDorg.sat4j.minisat.core.ISimplifier
ADDEDorg.sat4j.minisat.core.LearnedConstraintsDeletionStrategy
ADDEDorg.sat4j.minisat.core.LearnedConstraintsEvaluationType
REMOVEDorg.sat4j.minisat.core.Propagatable#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.core.Propagatable#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.minisat.core.Propagatable#Constr toConstraint()
REMOVEDorg.sat4j.minisat.core.RestartStrategy#void init(SearchParams)
ADDEDorg.sat4j.minisat.core.RestartStrategy#void init(SearchParams, SolverStats)
ADDEDorg.sat4j.minisat.core.RestartStrategy#void newLearnedClause(Constr, int)
ADDEDorg.sat4j.minisat.core.RestartStrategy#void onBackjumpToRootLevel()
ADDEDorg.sat4j.minisat.core.RestartStrategy#boolean shouldRestart()
ADDEDorg.sat4j.minisat.core.SimplificationType
ADDEDorg.sat4j.minisat.core.Solver#Solver(LearningStrategy<D>, D, SearchParams, IOrder, RestartStrategy, ILogAble)
ADDEDorg.sat4j.minisat.core.Solver#IConstr addAtMostOnTheFly(int[], int)
ADDEDorg.sat4j.minisat.core.Solver#IConstr addClauseOnTheFly(int[])
ADDEDorg.sat4j.minisat.core.Solver#IConstr addExactly(IVecInt, int)
ADDEDorg.sat4j.minisat.core.Solver#void backtrack(int[])
ADDEDorg.sat4j.minisat.core.Solver#int currentDecisionLevel()
ADDEDorg.sat4j.minisat.core.Solver#LearnedConstraintsDeletionStrategy fixedSize(int)
REMOVEDorg.sat4j.minisat.core.Solver#Solver.LearnedConstraintsDeletionStrategy fixedSize(int)
ADDEDorg.sat4j.minisat.core.Solver#Set<Integer> fromLastDecisionLevel(IVecInt)
ADDEDorg.sat4j.minisat.core.Solver#IVec<Constr> getLearnedConstraints()
ADDEDorg.sat4j.minisat.core.Solver#int[] getLiteralsPropagatedAt(int)
ADDEDorg.sat4j.minisat.core.Solver#ILogAble getLogger()
ADDEDorg.sat4j.minisat.core.Solver#RestartStrategy getRestartStrategy()
ADDEDorg.sat4j.minisat.core.Solver#SearchParams getSearchParams()
ADDEDorg.sat4j.minisat.core.Solver#ISimplifier getSimplifier()
ADDEDorg.sat4j.minisat.core.Solver#ISolver getSolvingEngine()
ADDEDorg.sat4j.minisat.core.Solver#double[] getVariableHeuristics()
ADDEDorg.sat4j.minisat.core.Solver#boolean isNeedToReduceDB()
ADDEDorg.sat4j.minisat.core.Solver#boolean isSolverKeptHot()
ADDEDorg.sat4j.minisat.core.Solver#int[] modelWithInternalVariables()
ADDEDorg.sat4j.minisat.core.Solver#out
ADDEDorg.sat4j.minisat.core.Solver#boolean primeImplicant(int)
ADDEDorg.sat4j.minisat.core.Solver#void printInfos(PrintWriter)
ADDEDorg.sat4j.minisat.core.Solver#void printStat(PrintWriter)
ADDEDorg.sat4j.minisat.core.Solver#int realNumberOfVariables()
ADDEDorg.sat4j.minisat.core.Solver#void registerLiteral(int)
ADDEDorg.sat4j.minisat.core.Solver#void setKeepSolverHot(boolean)
ADDEDorg.sat4j.minisat.core.Solver#void setLearnedConstraintsDeletionStrategy(ConflictTimer, LearnedConstraintsEvaluationType)
ADDEDorg.sat4j.minisat.core.Solver#void setLearnedConstraintsDeletionStrategy(LearnedConstraintsDeletionStrategy)
ADDEDorg.sat4j.minisat.core.Solver#void setLearnedConstraintsDeletionStrategy(LearnedConstraintsEvaluationType)
REMOVEDorg.sat4j.minisat.core.Solver#void setLearnedConstraintsDeletionStrategy(Solver.LearnedConstraintsDeletionStrategy)
ADDEDorg.sat4j.minisat.core.Solver#void setLearningStrategy(LearningStrategy<D>)
ADDEDorg.sat4j.minisat.core.Solver#void setLogger(ILogAble)
ADDEDorg.sat4j.minisat.core.Solver#void setNeedToReduceDB(boolean)
REMOVEDorg.sat4j.minisat.core.Solver#void setSimplifier(String)
ADDEDorg.sat4j.minisat.core.Solver#void setSimplifier(ISimplifier)
ADDEDorg.sat4j.minisat.core.Solver#void setSimplifier(SimplificationType)
REMOVEDorg.sat4j.minisat.core.Solver#void setSimplifier(Solver.ISimplifier)
ADDEDorg.sat4j.minisat.core.Solver#void setUnitClauseProvider(UnitClauseProvider)
ADDEDorg.sat4j.minisat.core.Solver#sharedConflict
ADDEDorg.sat4j.minisat.core.Solver#void stop()
ADDEDorg.sat4j.minisat.core.Solver#void suggestNextLiteralToBranchOn(int)
ADDEDorg.sat4j.minisat.core.Solver#Lbool truthValue(int)
ADDEDorg.sat4j.minisat.core.SolverStats#importedUnits
ADDEDorg.sat4j.minisat.core.SolverStats#updateLBD
REMOVEDorg.sat4j.minisat.core.UnitPropagationListener
REMOVEDorg.sat4j.minisat.orders.RandomWalkDecorator#RandomWalkDecorator(IOrder)
REMOVEDorg.sat4j.minisat.orders.RandomWalkDecorator#RandomWalkDecorator(IOrder, double)
ADDEDorg.sat4j.minisat.orders.RandomWalkDecorator#RandomWalkDecorator(VarOrderHeap)
ADDEDorg.sat4j.minisat.orders.RandomWalkDecorator#RandomWalkDecorator(VarOrderHeap, double)
ADDEDorg.sat4j.minisat.orders.RandomWalkDecorator#double getProbability()
ADDEDorg.sat4j.minisat.orders.RandomWalkDecorator#double[] getVariableHeuristics()
ADDEDorg.sat4j.minisat.orders.RandomWalkDecorator#void setProbability(double)
ADDEDorg.sat4j.minisat.orders.SubsetVarOrder
ADDEDorg.sat4j.minisat.orders.TabuListDecorator
ADDEDorg.sat4j.minisat.orders.VarOrderHeap#double[] getVariableHeuristics()
REMOVEDorg.sat4j.minisat.restarts.ArminRestarts#void init(SearchParams)
ADDEDorg.sat4j.minisat.restarts.ArminRestarts#void init(SearchParams, SolverStats)
ADDEDorg.sat4j.minisat.restarts.ArminRestarts#void newConflict()
ADDEDorg.sat4j.minisat.restarts.ArminRestarts#void newLearnedClause(Constr, int)
ADDEDorg.sat4j.minisat.restarts.ArminRestarts#void onBackjumpToRootLevel()
ADDEDorg.sat4j.minisat.restarts.ArminRestarts#void reset()
ADDEDorg.sat4j.minisat.restarts.ArminRestarts#boolean shouldRestart()
ADDEDorg.sat4j.minisat.restarts.FixedPeriodRestarts
ADDEDorg.sat4j.minisat.restarts.Glucose21Restarts
REMOVEDorg.sat4j.minisat.restarts.LubyRestarts#void init(SearchParams)
ADDEDorg.sat4j.minisat.restarts.LubyRestarts#void init(SearchParams, SolverStats)
ADDEDorg.sat4j.minisat.restarts.LubyRestarts#int luby()
REMOVEDorg.sat4j.minisat.restarts.LubyRestarts#int luby(int)
ADDEDorg.sat4j.minisat.restarts.LubyRestarts#void newConflict()
ADDEDorg.sat4j.minisat.restarts.LubyRestarts#void newLearnedClause(Constr, int)
ADDEDorg.sat4j.minisat.restarts.LubyRestarts#int nextLuby()
ADDEDorg.sat4j.minisat.restarts.LubyRestarts#void onBackjumpToRootLevel()
ADDEDorg.sat4j.minisat.restarts.LubyRestarts#void reset()
ADDEDorg.sat4j.minisat.restarts.LubyRestarts#boolean shouldRestart()
REMOVEDorg.sat4j.minisat.restarts.MiniSATRestarts#void init(SearchParams)
ADDEDorg.sat4j.minisat.restarts.MiniSATRestarts#void init(SearchParams, SolverStats)
ADDEDorg.sat4j.minisat.restarts.MiniSATRestarts#void newConflict()
ADDEDorg.sat4j.minisat.restarts.MiniSATRestarts#void newLearnedClause(Constr, int)
ADDEDorg.sat4j.minisat.restarts.MiniSATRestarts#void onBackjumpToRootLevel()
ADDEDorg.sat4j.minisat.restarts.MiniSATRestarts#void reset()
ADDEDorg.sat4j.minisat.restarts.MiniSATRestarts#boolean shouldRestart()
REMOVEDorg.sat4j.minisat.restarts.NoRestarts#void init(SearchParams)
ADDEDorg.sat4j.minisat.restarts.NoRestarts#void init(SearchParams, SolverStats)
ADDEDorg.sat4j.minisat.restarts.NoRestarts#void newConflict()
ADDEDorg.sat4j.minisat.restarts.NoRestarts#void newLearnedClause(Constr, int)
ADDEDorg.sat4j.minisat.restarts.NoRestarts#void onBackjumpToRootLevel()
ADDEDorg.sat4j.minisat.restarts.NoRestarts#void reset()
ADDEDorg.sat4j.minisat.restarts.NoRestarts#boolean shouldRestart()
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#int getNbexpectedclauses()
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#boolean[] getPrevboolmodel()
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#int[] getPrevfullmodel()
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#int[] getPrevmodel()
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#boolean isSolutionOptimal()
REMOVEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#nbnewvar
REMOVEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#nborigvars
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#void setNbexpectedclauses(int)
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#void setPrevboolmodel(boolean[])
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#void setPrevfullmodel(int[])
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#void setPrevmodel(int[])
ADDEDorg.sat4j.opt.AbstractSelectorVariablesDecorator#void setSolutionOptimal(boolean)
ADDEDorg.sat4j.opt.MaxSatDecorator#MaxSatDecorator(ISolver, boolean)
ADDEDorg.sat4j.opt.MaxSatDecorator#void setTimeoutForFindingBetterSolution(int)
ADDEDorg.sat4j.opt.MinOneDecorator#void setTimeoutForFindingBetterSolution(int)
ADDEDorg.sat4j.reader.GroupedCNFReader#GroupedCNFReader(IGroupSolver)
REMOVEDorg.sat4j.reader.GroupedCNFReader#GroupedCNFReader(HighLevelXplain<ISolver>)
ADDEDorg.sat4j.reader.InstanceReader#Reader handleFileName(String, String)
ADDEDorg.sat4j.reader.JSONReader
ADDEDorg.sat4j.reader.ParseFormatException#PARSING_ERROR
ADDEDorg.sat4j.specs.IConstr#boolean canBePropagatedMultipleTimes()
ADDEDorg.sat4j.specs.IGroupSolver
ADDEDorg.sat4j.specs.ILogAble
ADDEDorg.sat4j.specs.IOptimizationProblem#void setTimeoutForFindingBetterSolution(int)
ADDEDorg.sat4j.specs.IProblem#int newVar(int)
ADDEDorg.sat4j.specs.IProblem#boolean primeImplicant(int)
ADDEDorg.sat4j.specs.IProblem#void printInfos(PrintWriter)
ADDEDorg.sat4j.specs.ISolver#IConstr addExactly(IVecInt, int)
ADDEDorg.sat4j.specs.ISolver#ISolver getSolvingEngine()
ADDEDorg.sat4j.specs.ISolver#boolean isSolverKeptHot()
ADDEDorg.sat4j.specs.ISolver#int[] modelWithInternalVariables()
ADDEDorg.sat4j.specs.ISolver#void printStat(PrintWriter)
ADDEDorg.sat4j.specs.ISolver#int realNumberOfVariables()
ADDEDorg.sat4j.specs.ISolver#void registerLiteral(int)
ADDEDorg.sat4j.specs.ISolver#void setKeepSolverHot(boolean)
ADDEDorg.sat4j.specs.ISolver#void setUnitClauseProvider(UnitClauseProvider)
ADDEDorg.sat4j.specs.ISolverService
ADDEDorg.sat4j.specs.IVecInt#IVecInt[] subset(int)
ADDEDorg.sat4j.specs.RandomAccessModel
ADDEDorg.sat4j.specs.SearchListener#void cleaning()
ADDEDorg.sat4j.specs.SearchListener#void init(S)
ADDEDorg.sat4j.specs.SearchListener#void learnUnit(int)
REMOVEDorg.sat4j.specs.SearchListener#void solutionFound()
ADDEDorg.sat4j.specs.SearchListener#void solutionFound(int[], RandomAccessModel)
ADDEDorg.sat4j.specs.UnitClauseProvider
ADDEDorg.sat4j.specs.UnitPropagationListener
ADDEDorg.sat4j.tools.AbstractClauseSelectorSolver
ADDEDorg.sat4j.tools.AbstractMinimalModel
ADDEDorg.sat4j.tools.AbstractOutputSolver#ISolver getSolvingEngine()
ADDEDorg.sat4j.tools.AbstractOutputSolver#boolean isSolverKeptHot()
ADDEDorg.sat4j.tools.AbstractOutputSolver#int nConstraints()
ADDEDorg.sat4j.tools.AbstractOutputSolver#int nVars()
ADDEDorg.sat4j.tools.AbstractOutputSolver#int newVar(int)
ADDEDorg.sat4j.tools.AbstractOutputSolver#void setKeepSolverHot(boolean)
ADDEDorg.sat4j.tools.AbstractOutputSolver#void setUnitClauseProvider(UnitClauseProvider)
ADDEDorg.sat4j.tools.AllMUSes
ADDEDorg.sat4j.tools.Backbone
ADDEDorg.sat4j.tools.CheckMUSSolutionListener
ADDEDorg.sat4j.tools.ClausalCardinalitiesDecorator
ADDEDorg.sat4j.tools.ConflictDepthTracing
REMOVEDorg.sat4j.tools.ConflictLevelTracing#ConflictLevelTracing(String)
ADDEDorg.sat4j.tools.ConflictLevelTracing#ConflictLevelTracing(IVisualizationTool, IVisualizationTool, IVisualizationTool)
REMOVEDorg.sat4j.tools.ConflictLevelTracing#void solutionFound()
REMOVEDorg.sat4j.tools.ConstrGroup
REMOVEDorg.sat4j.tools.DecisionLevelTracing#DecisionLevelTracing(String)
ADDEDorg.sat4j.tools.DecisionLevelTracing#DecisionLevelTracing(IVisualizationTool)
REMOVEDorg.sat4j.tools.DecisionLevelTracing#void solutionFound()
REMOVEDorg.sat4j.tools.DecisionTracing#DecisionTracing(String)
ADDEDorg.sat4j.tools.DecisionTracing#DecisionTracing(IVisualizationTool, IVisualizationTool, IVisualizationTool, IVisualizationTool)
REMOVEDorg.sat4j.tools.DecisionTracing#void solutionFound()
ADDEDorg.sat4j.tools.DimacsOutputSolver#IConstr addExactly(IVecInt, int)
ADDEDorg.sat4j.tools.DimacsOutputSolver#int[] modelWithInternalVariables()
ADDEDorg.sat4j.tools.DimacsOutputSolver#boolean primeImplicant(int)
ADDEDorg.sat4j.tools.DimacsOutputSolver#void printInfos(PrintWriter)
ADDEDorg.sat4j.tools.DimacsOutputSolver#void printStat(PrintWriter)
ADDEDorg.sat4j.tools.DimacsOutputSolver#int realNumberOfVariables()
ADDEDorg.sat4j.tools.DimacsOutputSolver#void registerLiteral(int)
ADDEDorg.sat4j.tools.DimacsStringSolver#IConstr addExactly(IVecInt, int)
ADDEDorg.sat4j.tools.DimacsStringSolver#int[] modelWithInternalVariables()
ADDEDorg.sat4j.tools.DimacsStringSolver#boolean primeImplicant(int)
ADDEDorg.sat4j.tools.DimacsStringSolver#void printInfos(PrintWriter)
ADDEDorg.sat4j.tools.DimacsStringSolver#void printStat(PrintWriter)
ADDEDorg.sat4j.tools.DimacsStringSolver#int realNumberOfVariables()
ADDEDorg.sat4j.tools.DimacsStringSolver#void registerLiteral(int)
REMOVEDorg.sat4j.tools.DotSearchTracing#void solutionFound()
ADDEDorg.sat4j.tools.FileBasedVisualizationTool
ADDEDorg.sat4j.tools.FullClauseSelectorSolver
ADDEDorg.sat4j.tools.GroupClauseSelectorSolver
ADDEDorg.sat4j.tools.HeuristicsTracing
ADDEDorg.sat4j.tools.IVisualizationTool
ADDEDorg.sat4j.tools.LBDTracing
REMOVEDorg.sat4j.tools.LearnedClauseSizeTracing#LearnedClauseSizeTracing(String)
ADDEDorg.sat4j.tools.LearnedClauseSizeTracing#LearnedClauseSizeTracing(IVisualizationTool)
REMOVEDorg.sat4j.tools.LearnedClauseSizeTracing#void solutionFound()
ADDEDorg.sat4j.tools.LearnedClausesSizeTracing
ADDEDorg.sat4j.tools.LearnedTracing
ADDEDorg.sat4j.tools.LexicoDecorator#IConstr discardSolutionsForOptimizing()
ADDEDorg.sat4j.tools.LexicoDecorator#Number evaluate()
ADDEDorg.sat4j.tools.LexicoDecorator#Number evaluate(int)
ADDEDorg.sat4j.tools.LexicoDecorator#void fixCriterionValue()
ADDEDorg.sat4j.tools.LexicoDecorator#Number getObjectiveValue(int)
ADDEDorg.sat4j.tools.LexicoDecorator#int numberOfCriteria()
ADDEDorg.sat4j.tools.LexicoDecorator#prevmodelwithinternalvars
ADDEDorg.sat4j.tools.LexicoDecorator#void setTimeoutForFindingBetterSolution(int)
ADDEDorg.sat4j.tools.ManyCore#ManyCore(String[], S[])
ADDEDorg.sat4j.tools.ManyCore#ManyCore(S[])
ADDEDorg.sat4j.tools.ManyCore#IConstr addExactly(IVecInt, int)
ADDEDorg.sat4j.tools.ManyCore#List<S> getSolvers()
ADDEDorg.sat4j.tools.ManyCore#ISolver getSolvingEngine()
ADDEDorg.sat4j.tools.ManyCore#boolean isSolverKeptHot()
ADDEDorg.sat4j.tools.ManyCore#int[] modelWithInternalVariables()
ADDEDorg.sat4j.tools.ManyCore#boolean primeImplicant(int)
ADDEDorg.sat4j.tools.ManyCore#void printInfos(PrintWriter)
ADDEDorg.sat4j.tools.ManyCore#void printStat(PrintWriter)
ADDEDorg.sat4j.tools.ManyCore#void provideUnitClauses(UnitPropagationListener)
ADDEDorg.sat4j.tools.ManyCore#int realNumberOfVariables()
ADDEDorg.sat4j.tools.ManyCore#void registerLiteral(int)
ADDEDorg.sat4j.tools.ManyCore#void setKeepSolverHot(boolean)
ADDEDorg.sat4j.tools.ManyCore#void setUnitClauseProvider(UnitClauseProvider)
ADDEDorg.sat4j.tools.Minimal4CardinalityModel#Minimal4CardinalityModel(ISolver, IVecInt)
ADDEDorg.sat4j.tools.Minimal4CardinalityModel#Minimal4CardinalityModel(ISolver, IVecInt, SolutionFoundListener)
ADDEDorg.sat4j.tools.Minimal4CardinalityModel#Minimal4CardinalityModel(ISolver, SolutionFoundListener)
ADDEDorg.sat4j.tools.Minimal4InclusionModel#Minimal4InclusionModel(ISolver, IVecInt)
ADDEDorg.sat4j.tools.Minimal4InclusionModel#Minimal4InclusionModel(ISolver, IVecInt, SolutionFoundListener)
ADDEDorg.sat4j.tools.ModelIteratorToSATAdapter
ADDEDorg.sat4j.tools.MultiTracing
ADDEDorg.sat4j.tools.NegationDecorator
ADDEDorg.sat4j.tools.OptToSatAdapter#OptToSatAdapter(IOptimizationProblem, SolutionFoundListener)
ADDEDorg.sat4j.tools.OutcomeListener
ADDEDorg.sat4j.tools.RupSearchListener
ADDEDorg.sat4j.tools.SearchEnumeratorListener
ADDEDorg.sat4j.tools.SearchListenerAdapter
ADDEDorg.sat4j.tools.SearchMinOneListener
ADDEDorg.sat4j.tools.SolutionFoundListener
ADDEDorg.sat4j.tools.SolverDecorator#IConstr addExactly(IVecInt, int)
ADDEDorg.sat4j.tools.SolverDecorator#ISolver getSolvingEngine()
ADDEDorg.sat4j.tools.SolverDecorator#boolean isSolverKeptHot()
ADDEDorg.sat4j.tools.SolverDecorator#int[] modelWithInternalVariables()
ADDEDorg.sat4j.tools.SolverDecorator#boolean primeImplicant(int)
ADDEDorg.sat4j.tools.SolverDecorator#void printInfos(PrintWriter)
ADDEDorg.sat4j.tools.SolverDecorator#void printStat(PrintWriter)
ADDEDorg.sat4j.tools.SolverDecorator#int realNumberOfVariables()
ADDEDorg.sat4j.tools.SolverDecorator#void registerLiteral(int)
ADDEDorg.sat4j.tools.SolverDecorator#void setKeepSolverHot(boolean)
ADDEDorg.sat4j.tools.SolverDecorator#void setUnitClauseProvider(UnitClauseProvider)
ADDEDorg.sat4j.tools.SpeedTracing
ADDEDorg.sat4j.tools.StatisticsSolver
ADDEDorg.sat4j.tools.TextOutputTracing#void cleaning()
ADDEDorg.sat4j.tools.TextOutputTracing#void init(ISolverService)
ADDEDorg.sat4j.tools.TextOutputTracing#void learnUnit(int)
REMOVEDorg.sat4j.tools.TextOutputTracing#void solutionFound()
ADDEDorg.sat4j.tools.TextOutputTracing#void solutionFound(int[], RandomAccessModel)
ADDEDorg.sat4j.tools.encoding.Binary
ADDEDorg.sat4j.tools.encoding.Binomial
ADDEDorg.sat4j.tools.encoding.Commander
ADDEDorg.sat4j.tools.encoding.EncodingStrategy
ADDEDorg.sat4j.tools.encoding.EncodingStrategyAdapter
ADDEDorg.sat4j.tools.encoding.Ladder
ADDEDorg.sat4j.tools.encoding.Policy
ADDEDorg.sat4j.tools.encoding.Product
ADDEDorg.sat4j.tools.encoding.Sequential
REMOVEDorg.sat4j.tools.xplain.HighLevelXplain#constrs
REMOVEDorg.sat4j.tools.xplain.Pair
ADDEDorg.sat4j.tools.xplain.Xplain#Xplain(T, boolean)
REMOVEDorg.sat4j.tools.xplain.Xplain#constrs

org.sat4j.pb(2.3.5)
ADDEDorg.sat4j.pb.ConstraintRelaxingPseudoOptDecorator
ADDEDorg.sat4j.pb.IPBSolver#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.IPBSolver#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.IPBSolver#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.IPBSolver#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.IPBSolver#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.IPBSolver#IConstr addExactly(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.IPBSolverService
ADDEDorg.sat4j.pb.LPStringSolver
REMOVEDorg.sat4j.pb.LanceurPseudo2007Eclipse#void displayAnswer()
ADDEDorg.sat4j.pb.OPBStringSolver#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.OPBStringSolver#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.OPBStringSolver#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.OPBStringSolver#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.OPBStringSolver#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.OPBStringSolver#IConstr addExactly(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.ObjectiveFunction#BigInteger calculateDegree(RandomAccessModel)
REMOVEDorg.sat4j.pb.ObjectiveFunction#BigInteger calculateDegree(int[])
ADDEDorg.sat4j.pb.ObjectiveFunction#BigInteger calculateDegreeImplicant(ISolver)
ADDEDorg.sat4j.pb.ObjectiveFunction#BigInteger getCorrection()
ADDEDorg.sat4j.pb.ObjectiveFunction#BigInteger minValue()
ADDEDorg.sat4j.pb.ObjectiveFunction#void setCorrection(BigInteger)
ADDEDorg.sat4j.pb.OptToPBSATAdapter#OptToPBSATAdapter(IOptimizationProblem, SolutionFoundListener)
ADDEDorg.sat4j.pb.OptToPBSATAdapter#Number getCurrentObjectiveValue()
ADDEDorg.sat4j.pb.OptToPBSATAdapter#int[] model(PrintWriter)
ADDEDorg.sat4j.pb.OptToPBSATAdapter#void setSolutionFoundListener(SolutionFoundListener)
ADDEDorg.sat4j.pb.OptToPBSATAdapter#void setTimeoutForFindingBetterSolution(int)
ADDEDorg.sat4j.pb.PBSolverDecorator#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.PBSolverDecorator#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.PBSolverDecorator#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.PBSolverDecorator#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.PBSolverDecorator#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.PBSolverDecorator#IConstr addExactly(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.PseudoBitsAdderDecorator#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.PseudoBitsAdderDecorator#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.PseudoBitsAdderDecorator#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.PseudoBitsAdderDecorator#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.PseudoBitsAdderDecorator#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.PseudoBitsAdderDecorator#IConstr addExactly(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.PseudoOptDecorator#PseudoOptDecorator(IPBSolver, boolean)
ADDEDorg.sat4j.pb.PseudoOptDecorator#PseudoOptDecorator(IPBSolver, boolean, boolean)
ADDEDorg.sat4j.pb.PseudoOptDecorator#void setTimeoutForFindingBetterSolution(int)
REMOVEDorg.sat4j.pb.SolverFactory#IPBSolver defaultSolver()
ADDEDorg.sat4j.pb.SolverFactory#PBSolver defaultSolver()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverCP newCompetPBCPMixedConstraintsLongMaxObjective()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverCP newCompetPBCPMixedConstraintsLongMinObjective()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverCP newCompetPBCPMixedConstraintsMinObjective()
REMOVEDorg.sat4j.pb.SolverFactory#IPBSolver newDefault()
ADDEDorg.sat4j.pb.SolverFactory#PBSolver newDefault()
ADDEDorg.sat4j.pb.SolverFactory#IPBSolver newDefaultOptimizer()
REMOVEDorg.sat4j.pb.SolverFactory#ISolver newDimacsOutput()
REMOVEDorg.sat4j.pb.SolverFactory#IPBSolver newResolutionGlucose()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverResolution newResolutionGlucose()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverResolution newResolutionGlucose21()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverResolution newResolutionGlucoseExpSimp()
REMOVEDorg.sat4j.pb.SolverFactory#IPBSolver newResolutionGlucoseSimpleSimp()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverResolution newResolutionGlucoseSimpleSimp()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverResolution newSAT()
ADDEDorg.sat4j.pb.SolverFactory#IPBSolver newSATUNSAT()
ADDEDorg.sat4j.pb.SolverFactory#PBSolverResolution newUNSAT()
ADDEDorg.sat4j.pb.UserFriendlyPBStringSolver#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.UserFriendlyPBStringSolver#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.UserFriendlyPBStringSolver#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.UserFriendlyPBStringSolver#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.UserFriendlyPBStringSolver#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.UserFriendlyPBStringSolver#IConstr addExactly(IVecInt, IVecInt, int)
REMOVEDorg.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure#AbstractPBClauseCardConstrDataStructure()
ADDEDorg.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure#Constr constructLearntCard(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure#Constr constructLearntPB(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.AbstractPBClauseCardConstrDataStructure#BigInteger sumOfCoefficients(BigInteger[])
ADDEDorg.sat4j.pb.constraints.AbstractPBDataStructureFactory#Constr createAtLeastPBConstraint(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.AbstractPBDataStructureFactory#Constr createAtMostPBConstraint(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.AbstractPBDataStructureFactory#Constr createUnregisteredAtLeastConstraint(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.AbstractPBDataStructureFactory#Constr createUnregisteredAtMostConstraint(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.AbstractPBDataStructureFactory#Constr learntAtLeastConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.AbstractPBDataStructureFactory#Constr learntAtMostConstraintFactory(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.AtLeastCardConstructor
ADDEDorg.sat4j.pb.constraints.AtLeastCardPBConstructor
REMOVEDorg.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure#Constr constructLearntLongPB(IDataStructurePB)
REMOVEDorg.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure#Constr constructLongPB(int[], BigInteger[], BigInteger)
REMOVEDorg.sat4j.pb.constraints.CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure#boolean isLongSufficient(BigInteger[], BigInteger)
REMOVEDorg.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure#Constr constructLearntLongPB(IDataStructurePB)
REMOVEDorg.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure#Constr constructLongPB(int[], BigInteger[], BigInteger)
REMOVEDorg.sat4j.pb.constraints.CompetResolutionPBLongMixedHTClauseCardConstrDataStructure#boolean isLongSufficient(BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.ICardConstructor
ADDEDorg.sat4j.pb.constraints.IClauseConstructor
ADDEDorg.sat4j.pb.constraints.IPBConstructor
ADDEDorg.sat4j.pb.constraints.MaxLongWatchPBCPConstructor
ADDEDorg.sat4j.pb.constraints.MaxLongWatchPBConstructor
ADDEDorg.sat4j.pb.constraints.MaxWatchPBConstructor
ADDEDorg.sat4j.pb.constraints.MinCardConstructor
ADDEDorg.sat4j.pb.constraints.MinCardPBConstructor
ADDEDorg.sat4j.pb.constraints.MinLongWatchPBCPConstructor
ADDEDorg.sat4j.pb.constraints.MinLongWatchPBConstructor
ADDEDorg.sat4j.pb.constraints.MinWatchPBConstructor
ADDEDorg.sat4j.pb.constraints.PBLongMaxClauseCardConstrDataStructure
ADDEDorg.sat4j.pb.constraints.PBLongMinClauseCardConstrDataStructure
REMOVEDorg.sat4j.pb.constraints.PBMaxClauseAtLeastConstrDataStructure#PBConstr constructCard(IVecInt, int)
REMOVEDorg.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure#PBConstr constructLearntPB(IDataStructurePB)
REMOVEDorg.sat4j.pb.constraints.PBMinClauseCardConstrDataStructure#PBConstr constructPB(int[], BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.PuebloMinWatchPBConstructor
REMOVEDorg.sat4j.pb.constraints.PuebloPBMinClauseAtLeastConstrDataStructure#PBConstr constructCard(IVecInt, int)
ADDEDorg.sat4j.pb.constraints.UnitBinaryHTClauseConstructor
ADDEDorg.sat4j.pb.constraints.UnitBinaryHTClausePBConstructor
ADDEDorg.sat4j.pb.constraints.UnitBinaryWLClauseConstructor
REMOVEDorg.sat4j.pb.constraints.pb.AtLeastPB#void assertConstraint(UnitPropagationListener)
REMOVEDorg.sat4j.pb.constraints.pb.AtLeastPB#PBConstr atLeastNew(UnitPropagationListener, ILits, IVecInt, int)
ADDEDorg.sat4j.pb.constraints.pb.AtLeastPB#PBConstr atLeastNew(UnitPropagationListener, ILits, IVecInt, int)
REMOVEDorg.sat4j.pb.constraints.pb.ConflictMapMerging
REMOVEDorg.sat4j.pb.constraints.pb.ConflictMapSwitchToClause#UPPERBOUND
ADDEDorg.sat4j.pb.constraints.pb.ConflictMapSwitchToClause#UpperBound
REMOVEDorg.sat4j.pb.constraints.pb.LearntHTClausePB#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.MapPb#MapPb(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.constraints.pb.MaxWatchPb#LIMIT_FOR_MAP
REMOVEDorg.sat4j.pb.constraints.pb.MaxWatchPb#MaxWatchPb normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.pb.MaxWatchPb#MaxWatchPb normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger)
REMOVEDorg.sat4j.pb.constraints.pb.MaxWatchPb#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.pb.constraints.pb.MaxWatchPb#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.pb.constraints.pb.MaxWatchPb#void remove(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.MaxWatchPb#void remove(UnitPropagationListener)
REMOVEDorg.sat4j.pb.constraints.pb.MaxWatchPbLong#MaxWatchPbLong normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.pb.MaxWatchPbLong#MaxWatchPbLong normalizedMaxWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger)
REMOVEDorg.sat4j.pb.constraints.pb.MaxWatchPbLong#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.pb.constraints.pb.MaxWatchPbLong#void remove(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.MaxWatchPbLongCP
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchCardPB#void assertConstraint(UnitPropagationListener)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchCardPB#PBConstr minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchCardPB#PBConstr minWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, boolean, int)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchCardPB#PBConstr normalizedMinWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, int)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchCardPB#PBConstr normalizedMinWatchCardPBNew(UnitPropagationListener, ILits, IVecInt, int)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPb#MinWatchPb(ILits, int[], BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchPb#MinWatchPb(ILits, int[], BigInteger[], BigInteger, BigInteger)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPb#void computePropagation(UnitPropagationListener)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPb#MinWatchPb normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchPb#MinWatchPb normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPb#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchPb#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPb#void remove(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchPb#void remove(UnitPropagationListener)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPbLong#MinWatchPbLong(ILits, int[], BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchPbLong#MinWatchPbLong(ILits, int[], BigInteger[], BigInteger, BigInteger)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPbLong#void computePropagation(UnitPropagationListener)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPbLong#MinWatchPbLong normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchPbLong#MinWatchPbLong normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger, BigInteger)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPbLong#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPbLong#void remove(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.MinWatchPbLongCP
REMOVEDorg.sat4j.pb.constraints.pb.MinWatchPbLongPB
REMOVEDorg.sat4j.pb.constraints.pb.OriginalBinaryClausePB#OriginalBinaryClausePB brandNewClause(UnitPropagationListener, ILits, IVecInt)
ADDEDorg.sat4j.pb.constraints.pb.OriginalBinaryClausePB#OriginalBinaryClausePB brandNewClause(UnitPropagationListener, ILits, IVecInt)
REMOVEDorg.sat4j.pb.constraints.pb.OriginalHTClausePB#OriginalHTClausePB brandNewClause(UnitPropagationListener, ILits, IVecInt)
ADDEDorg.sat4j.pb.constraints.pb.OriginalHTClausePB#OriginalHTClausePB brandNewClause(UnitPropagationListener, ILits, IVecInt)
REMOVEDorg.sat4j.pb.constraints.pb.PuebloMinWatchPb#PuebloMinWatchPb normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)
ADDEDorg.sat4j.pb.constraints.pb.PuebloMinWatchPb#PuebloMinWatchPb normalizedMinWatchPbNew(UnitPropagationListener, ILits, int[], BigInteger[], BigInteger)
REMOVEDorg.sat4j.pb.constraints.pb.WatchPb#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPb#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPb#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPb#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.pb.constraints.pb.WatchPb#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.pb.constraints.pb.WatchPb#void computePropagation(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPb#void computePropagation(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPb#void setActivity(double)
ADDEDorg.sat4j.pb.constraints.pb.WatchPb#sumcoefs
ADDEDorg.sat4j.pb.constraints.pb.WatchPb#Constr toConstraint()
REMOVEDorg.sat4j.pb.constraints.pb.WatchPbLong#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#void assertConstraint(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#void assertConstraintIfNeeded(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#void calcReasonOnTheFly(int, IVecInt, IVecInt)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#boolean canBePropagatedMultipleTimes()
REMOVEDorg.sat4j.pb.constraints.pb.WatchPbLong#void computePropagation(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#void computePropagation(UnitPropagationListener)
REMOVEDorg.sat4j.pb.constraints.pb.WatchPbLong#boolean propagate(UnitPropagationListener, int)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#boolean propagate(UnitPropagationListener, int)
REMOVEDorg.sat4j.pb.constraints.pb.WatchPbLong#void remove(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#void remove(UnitPropagationListener)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#void setActivity(double)
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#sumcoefs
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLong#Constr toConstraint()
ADDEDorg.sat4j.pb.constraints.pb.WatchPbLongCP
ADDEDorg.sat4j.pb.core.IPBCDCLSolver
ADDEDorg.sat4j.pb.core.ObjectiveReducerPBSolverDecorator
ADDEDorg.sat4j.pb.core.PBDataStructureFactory#Constr createAtLeastPBConstraint(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.core.PBDataStructureFactory#Constr createAtMostPBConstraint(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.core.PBDataStructureFactory#Constr createUnregisteredAtLeastConstraint(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.core.PBDataStructureFactory#Constr createUnregisteredAtMostConstraint(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.core.PBSolver#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.core.PBSolver#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.core.PBSolver#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.core.PBSolver#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.core.PBSolver#IConstr addAtMostOnTheFly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.core.PBSolver#IConstr addAtMostOnTheFly(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.core.PBSolver#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.core.PBSolver#IConstr addExactly(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.core.PBSolver#objectiveFunctionBased
REMOVEDorg.sat4j.pb.core.PBSolverMerging
ADDEDorg.sat4j.pb.orders.IOrderObjective
ADDEDorg.sat4j.pb.orders.RandomWalkDecoratorObjective
ADDEDorg.sat4j.pb.reader.JSONPBReader
ADDEDorg.sat4j.pb.reader.OPBReader2012
ADDEDorg.sat4j.pb.reader.PBInstanceReader#boolean hasObjectiveFunction()
ADDEDorg.sat4j.pb.tools.AbstractLexicoHelper
ADDEDorg.sat4j.pb.tools.ClausalConstraintsDecorator
REMOVEDorg.sat4j.pb.tools.ConflictTracing#void solutionFound()
ADDEDorg.sat4j.pb.tools.DependencyHelper#Collection<T> getASolution()
ADDEDorg.sat4j.pb.tools.DependencyHelper#void impliedBy(Collection<T>, Collection<T>, Collection<T>)
ADDEDorg.sat4j.pb.tools.DependencyHelper#void reset()
ADDEDorg.sat4j.pb.tools.LexicoDecoratorPB#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.LexicoDecoratorPB#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.tools.LexicoDecoratorPB#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.LexicoDecoratorPB#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.tools.LexicoDecoratorPB#void addCriterion(IVecInt, IVec<BigInteger>)
ADDEDorg.sat4j.pb.tools.LexicoDecoratorPB#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.LexicoDecoratorPB#IConstr addExactly(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.tools.ManyCorePB#ManyCorePB(IPBSolver[])
ADDEDorg.sat4j.pb.tools.ManyCorePB#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.ManyCorePB#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.tools.ManyCorePB#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.ManyCorePB#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.tools.ManyCorePB#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.ManyCorePB#IConstr addExactly(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.tools.PBAdapter
ADDEDorg.sat4j.pb.tools.SearchOptimizerListener
ADDEDorg.sat4j.pb.tools.SteppedTimeoutLexicoDecoratorPB
ADDEDorg.sat4j.pb.tools.SteppedTimeoutLexicoHelper
ADDEDorg.sat4j.pb.tools.StringNegator#INSTANCE
REMOVEDorg.sat4j.pb.tools.StringNegator#instance
ADDEDorg.sat4j.pb.tools.XplainPB#IConstr addAtLeast(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.XplainPB#IConstr addAtLeast(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.tools.XplainPB#IConstr addAtMost(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.XplainPB#IConstr addAtMost(IVecInt, IVecInt, int)
ADDEDorg.sat4j.pb.tools.XplainPB#IConstr addExactly(IVecInt, IVec<BigInteger>, BigInteger)
ADDEDorg.sat4j.pb.tools.XplainPB#IConstr addExactly(IVecInt, IVecInt, int)

Valid HTML 4.01 Transitional